A rigorous environment for development of concurrent systems
Nordic Journal of Computing
An open extensible tool environment for event-b
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Hi-index | 0.00 |