Use of metods of algebraic programming for the formal verification of legal acts / Peschanenko, V., Poltorackiy, M. (2018)
UkrainianEnglish

web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0000882045
  Problems in programming  Б - 2020  /     Issue (2018, № 2-3)

Peschanenko V., Poltorackiy M.
Use of metods of algebraic programming for the formal verification of legal acts

Cite:
Peschanenko, V., Poltorackiy, M. (2018). Use of metods of algebraic programming for the formal verification of legal acts. Problems in programming, 2-3, 109-114. http://jnas.nbuv.gov.ua/article/UJRN-0000882045

 

Institute of Information Technologies of VNLU

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Ukraine, 03039, Kyiv, Holosiivskyi Ave, 3, room 209