DMCA

TraceContract: A Scala DSL for Trace Analysis (2011)

by Howard Barringer , Klaus Havelund
Venue:In Proc. of FM’11, volume 6664 of LNCS
Citations:28 - 14 self