A Formal Method for the Abstract Specification of Software
Journal of the ACM (JACM)
Systematic software development using VDM
Systematic software development using VDM
Understanding Z: a specification language and its formal semantics
Understanding Z: a specification language and its formal semantics
Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The operational versus the conventional approach to software development
Communications of the ACM
Design and Specification of Iterators Using the Swapping Paradigm
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |