Jørgen Staunstrup;Stephen J. Garland;John V. Guttag
-;-;-
Debugging Larch Shared Language Specifications
IEEE Transactions on Software Engineering
Formal Verification of Concurrent Programs Using the Larch Prover