Pretraga
Rezultati
A formal software verification concept based on automated theorem proving and reverse engineering
[2002]
Popović, Miroslav V 
; Kovačević, Vladimir; Velikić, Ivan S
Filteri
Po tipu
A formal software verification concept based on automated theorem proving and reverse engineering
Popović, Miroslav V ; Kovačević, Vladimir; Velikić, Ivan S