A calculus of refinements for program derivations
Acta Informatica
Programming from specifications
Programming from specifications
The Z notation: a reference manual
The Z notation: a reference manual
Evolving algebras 1993: Lipari guide
Specification and validation methods
The SEA Language for System Engineering and Animation
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
An Evolving Algebra Abstract Machine
CSL '95 Selected Papers from the9th International Workshop on Computer Science Logic
Proceedings on Mathematical Foundations of Computer Science
Evaluating Hardware Design Principles for the Development of Computer Based Systems
ECBS '96 Proceedings of the IEEE Symposium and Workshop on Engineering of Computer Based Systems
Transforming SDL diagrams into a complete visual representation
VL '95 Proceedings of the 11th International IEEE Symposium on Visual Languages
| Hi-index | 0.00 |