Programming from specifications
Programming from specifications
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
A Discipline of Programming
Roadmap for enhanced languages and methods to aid verification
Proceedings of the 5th international conference on Generative programming and component engineering
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)
B#: toward a synthesis between Z and B
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Refinement and reachability in event_b
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
A simple refinement-based method for constructing algorithms
ACM SIGCSE Bulletin
Hi-index | 0.00 |