Evolving algebras 1993: Lipari guide
Specification and validation methods
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
Modelling systems: practical tools and techniques in software development
Modelling systems: practical tools and techniques in software development
Sequential abstract-state machines capture sequential algorithms
ACM Transactions on Computational Logic (TOCL)
A joined architecture/compiler design environment for ASIPs
CASES '00 Proceedings of the 2000 international conference on Compilers, architecture, and synthesis for embedded systems
Program development by stepwise refinement
Communications of the ACM
Refinement in Z and object-Z: foundations and advanced applications
Refinement in Z and object-Z: foundations and advanced applications
Refinement Calculus: A Systematic Introduction
Refinement Calculus: A Systematic Introduction
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
MFCS '90 Proceedings of the Mathematical Foundations of Computer Science 1990
A Logical Operational Semantics of Full Prolog. Part I: Selection Core and Control
CSL '89 Proceedings of the 3rd Workshop on Computer Science Logic
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
ICECCS '95 Proceedings of the 1st International Conference on Engineering of Complex Computer Systems
The formal semantics of SDL-2000: status and perspectives
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
A high-level modular definition of the semantics of C#
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
| Hi-index | 0.00 |