TraceContract: A Scala DSL for Trace Analysis (2011)

by Howard Barringer, Klaus Havelund
Venue:In Proc. of FM’11, volume 6664 of LNCS