TROLL: a language for object-oriented specification of information systems
ACM Transactions on Information Systems (TOIS)
Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP
Formal Methods in System Design
Behavior-consistent specialization of object life cycles
ACM Transactions on Software Engineering and Methodology (TOSEM)
Sheaves, Objects, and Distributed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Object-oriented refinement and proof using behaviour functions
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
| Hi-index | 0.00 |