Results
eNauka >
Results >
A formal software verification concept based on automated theorem proving and reverse engineering
| Title: | A formal software verification concept based on automated theorem proving and reverse engineering | Authors: | Popović, Miroslav V   ; Kovačević, Vladimir; Velikić, Ivan S |
Issue Date: | 2002 | Publication: | NINTH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS | Publisher: | IEEE | Type: | Conference Paper | ISBN: | 0-7695-1549-5  Search Idenfier |
Collation: | str. 59-66 | DOI: | 10.1109/ECBS.2002.999823 | WoS-ID: | 000175881300008 | Scopus-ID: | 2-s2.0-62549118995 | URI: | https://enauka.gov.rs/handle/123456789/803063 | URL: | https://ieeexplore.ieee.org/document/999823 | Metadata source: | (Preuzeto iz Nasi u WoS) | Note: | verifikacija urađena na osnovu uvida u apstrakt | M-category: | Mp. category will be shown later |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.