Marybeth Gurski;Albert L. Baker
-;-
A graphical user interface for executing formal specifications
Proceedings of the 2001 ACM symposium on Applied computing
Executing Formal Specifications with Concurrent Constraint Programming
Automated Software Engineering