Using a Protean Language to Enhance Expressiveness in Specification
IEEE Transactions on Software Engineering
Truly concurrent constraint programming
Theoretical Computer Science
Action Refinement from a Logical Point of View
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
On hierarchically developing reactive systems
Information and Computation
Hi-index | 0.00 |