Non-deterministic data types: models and implementations
Acta Informatica
A rational design process: How and why to fake it
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Trace Specifications: Methodology and Models
IEEE Transactions on Software Engineering
The Z notation: a reference manual
The Z notation: a reference manual
Fundamentals of algebraic specification 2: module specifications and constraints
Fundamentals of algebraic specification 2: module specifications and constraints
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Automated Module Testing in Prolog
IEEE Transactions on Software Engineering
Program development by stepwise refinement
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
ADA for Specification: Possibilities and Limitations
ADA for Specification: Possibilities and Limitations
A Discipline of Programming
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Structured Programming; Theory and Practice the Systems Programming Series
Structured Programming; Theory and Practice the Systems Programming Series
Refinement and state machine abstraction
Theoretical Computer Science
Implementing protocols via declarative event patterns
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
| Hi-index | 0.00 |