Concurrency and Data Types: A Specification Method: An Example with LOTOS
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
From conditional specifications to interaction charts
Formal Methods in Software and Systems Modeling
Hi-index | 0.00 |