Peschanenko, V.S., Kherson State University
-
No 4 (2012) - Formal methods of software development
Survey on modern tools and methods of formal models verification
Abstract PDF (Русский) -
No 2-3 (2018) - Methods and facilities of software engineering
Use of methods of algebraic programming for the formal verification of legal acts
Abstract PDF