Treffer: Executing Formal Specifications with Concurrent Constraint Programming
Title:
Executing Formal Specifications with Concurrent Constraint Programming
Authors:
Source:
Automated Software Engineering: An International Journal. December 2000 7(4):315-343
Database:
Springer Nature Journals