Letichevsky, A.A., Glushkov Institute of Cybernetics NAS of Ukraine
-
No 4 (2012) - Formal methods of software development
Survey on modern tools and methods of formal models verification
Abstract PDF (Русский) -
No 2 (2013) - Formal methods of software development
Deductive verification of requirements for event-driven architecture
Abstract PDF







