Skip to content

Internal versus External DSLs for Trace Analysis - (Extended Abstract).

Howard Barringer, Klaus Havelund

VenueBRV
Year2011
ProceedingsRV

Browse the full RV paper archive.