Communicating sequential processes
Communicating sequential processes
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Statecharts: A visual formalism for complex systems
Science of Computer Programming
A computational logic handbook
A computational logic handbook
Parallel program design: a foundation
Parallel program design: a foundation
The knowledge complexity of interactive proof systems
SIAM Journal on Computing
The RAISE language, methods and tools
Formal Aspects of Computing
Science of Computer Programming
Designing programs that check their work
STOC '89 Proceedings of the twenty-first annual ACM symposium on Theory of computing
Algebraic Specifications in Software Engineering
Algebraic Specifications in Software Engineering
Evaluation of safety-critical software
Communications of the ACM
MEC: a system for constructing and analysing transition systems
Proceedings of the international workshop on Automatic verification methods for finite state systems
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Programming from specifications
Programming from specifications
ICSE '90 Proceedings of the 12th international conference on Software engineering
Position statement: ICSE-12 Workshop on Industrial Experience Using Formal Methods
ICSE '90 Proceedings of the 12th international conference on Software engineering
Algebraic system specification and development
Algebraic system specification and development
The cleanroom approach to quality software development
The cleanroom approach to quality software development
The Z notation: a reference manual
The Z notation: a reference manual
Journal of Systems and Software - Special issue on applying specification, verification, and validation techniques to industrial software systems
Introduction to HOL: a theorem proving environment for higher order logic
Introduction to HOL: a theorem proving environment for higher order logic
Composition of assumption-commitment specifications in a UNITY style
TAPSOFT '93 Selected papers of the colloquium on Formal approaches of software engineering
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Algebraic Specification of Concurrency
Selected papers from the 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop on Recent Trends in Data Type Specification
An Industrial Experience in the Use of UNITY
Research Directions in High-Level Parallel Programming Languages
Transparent (Holographic) Proofs
STACS '93 Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science
Formalizing Informal Reuqirments. Some Aspects
Algebraic Methods II: Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989]
Formal Specifications as Reusable Frameworks
VDM '90 Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
CICS Project Report: Experiences and Results from the use of Z in IBM
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
STACS '92 Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume 2: Tutorials
Formal Verification of a Fault Tolerant Clock Synchronization Algorithm
Formal Verification of a Fault Tolerant Clock Synchronization Algorithm
Taking more of the soft out of software engineering
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Advantages and limits of formal approaches for ultra-high dependability
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
The role of modelling in the software engineering curriculum
Journal of Systems and Software - Special issue: Software engineering education and training
Managing grid computations: an ORC-Based approach
ISPA'06 Proceedings of the 4th international conference on Parallel and Distributed Processing and Applications
Hi-index | 0.00 |