Common LISP: the language (2nd ed.)
Common LISP: the language (2nd ed.)
Formal Syntax and Semantics of Java
Formal Syntax and Semantics of Java
TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving
FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
A New Construct for Systems Modeling and Theory: The Kind
A New Construct for Systems Modeling and Theory: The Kind
Kind theory
Hi-index | 0.00 |