Author Details

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 (Russian)
  • 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