A case study in model checking software systems
Science of Computer Programming - Special issue: on formal specifications: foundations, methods, tools and applications: selected papers from the FMTA '95 conference (29–31 May 1995, Konstancin n. Warsaw, Poland)
Logic in Computer Science: Modelling and Reasoning about Systems
Logic in Computer Science: Modelling and Reasoning about Systems
Depth through breadth, or why should we attend talks in other areas?
STOC '04 Proceedings of the thirty-sixth annual ACM symposium on Theory of computing
Software engineering and formal methods
Communications of the ACM - Enterprise information integration: and other tools for merging data
| Hi-index | 0.00 |