Search




Research outputs

A formal software verification concept based on automated theorem proving and reverse engineering   [2002]

Popović, Miroslav V  ; Kovačević, Vladimir; Velikić, Ivan S

Filters

By type