Results
Title: | Deduction of program correctnes in formal theory | Authors: | Berković, Ivana ; Markoski, Branko ; Šetrajčić, Jovan ; Brtka, Vladimir ; Dobrilović, Dalibor | Issue Date: | 2009 | Publication: | International conference on informatics and information technology - ICIT, 4, Amman, Jordan, 2009, 03. jun - 05. jun | Publisher: | Al-Zaytoonah University, Faculty of Science and Information Technology, Amman, Jordan | Type: | Conference Paper | ISBN: | 9957-8583-0-0 Search Idenfier | URI: | https://enauka.gov.rs/handle/123456789/891762 | URL: | http://icit.zuj.edu.jo/icit09/PaperList/Papers/Software%20Engineering/508.pdf | Metadata source: | (Preuzeto iz KNR-a) Brtka, Vladimir | M-category: | Mp. category will be shown later |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.