A. N. Nepeivoda

Technical systems in logic: questions of formalization and automatic verification

A. N. Nepeivoda, 2013 .

Verification of a technical system model with linear temporal logic

A. N. Nepeivoda, 2012 .