The ProCoS Approach to Correct Systems
Real-Time Systems - Special issue on safety-critical systems
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
Mathematical Structures in Computer Science
ACM Transactions on Computational Logic (TOCL)
Science of Computer Programming
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems
UTP and temporal logic model checking
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
| Hi-index | 0.00 |