Резултати
еНаука >
Резултати >
CONVINCE OF PROGRAM CORRECTNESS USING A RULES OF PROGRAM LOGIC AND ASSOCIATED FORMULAS OF PROGRAM LOGIC
| Title: | CONVINCE OF PROGRAM CORRECTNESS USING A RULES OF PROGRAM LOGIC AND ASSOCIATED FORMULAS OF PROGRAM LOGIC | Authors: | Markoski Branko; Mihajlović J; Šetrajčić Jovan; Vasiljević Petar | Issue Date: | 2008 | Publication: | Proceeding of 11th International Conference DependabIlićty and Quality Management (ICDQM)'08, 11th International Conference DependabIlićty and Quality Management (ICDQM)'08, 2008, No 11 | Type: | Conference Paper | Collation: | str. 760-764 | URI: | https://www.cris.uns.ac.rs/record.jsf?recordId=26451&source=eNauka&language=en https://enauka.gov.rs/handle/123456789/580272 |
M-category: | Mp. category will be shown later |
Google ScholarTM
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.