Direct semantics of concurrent languages in the SMoLCS approach
IBM Journal of Research and Development
Executing the formal definition of Ada
ACM SIGPLAN Notices
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
From conditional specifications to interaction charts
Formal Methods in Software and Systems Modeling
Hi-index | 0.00 |