Rapid Prototyping for an Assertional Specification language.

Jorge Cullar, Dieter Barnard, Martin Huber

Browse the full TACAS paper archive.