Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Martin N. Dunstan
Formal Methods for Extensions to CAS
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Erratum To: Formal Methods for Distributed System Development
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Formal Methods for Automated Program Improvement
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Methods for Eternal Networked Software Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Methods for Assuring Security of Protocols
Computer Journal
Computer Science
On the Need for Practical Formal Methods
Formal Verification of UML Statecharts With Real-Time Extensions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Framework for Formal Methods in Conformance Testing
Towards Formal Methods for Agent-Based Systems
Application of Lightweight Formal Methods to Software Security
