Login / Signup

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

Howard BarringerKlaus Havelund
Published in: RV (2011)
Keyphrases