From semantics to tools, Tools and Algorithms for the Construction and Analysis (2000)

by Casl
Venue:of Systems, LNCS