Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by M. Poltoratskiy
Use of Methods of Algebraic Programming for the Formal Verification of Legal Acts
PROBLEMS IN PROGRAMMING
Related publications
Static Verification of Wireless Sensor Networks With Formal Methods
Editorial: Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology
Frontiers in Bioengineering and Biotechnology
Bioengineering
Biomedical Engineering
Histology
Biotechnology
Formal Verification of Privacy for RFID Systems
Formal Verification of Pipelined Processors
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of NTRUEncrypt Scheme
International Journal of Computer Network and Information Security
Formal Verification of Netlog Protocols
Formal Verification of Hybrid Systems
Formal Verification of Evolutionary Changes
Formal Verification of Programs for Abstract Register Machines
Bulletin of the Novosibirsk Computing Center. Series:Computer Science
