Title: Verifikat︠s︡ii︠a︡ avtomatnykh programm
Subjects: Automatic control, Verification, Computer programs