Rezultati
| Naziv: | DEDUCTION OF PROGRAM CORRECTNESS IN FORMAL THEORY | Autori: | Berković Ivana   ; Markoski Branko ; Šetrajčić Jovan ; Brtka Vladimir ; Dobrilović Dalibor |
Godina: | 2009 | Publikacija: | Proceeding of 4th ICIT, 4th ICIT, 2009 | Tip rezultata: | Konferencijski rad | URI: | https://www.cris.uns.ac.rs/record.jsf?recordId=26481&source=eNauka&language=en https://enauka.gov.rs/handle/123456789/592084 |
M-kategorija: | Mp kategorija će biti prikazana naknadno. |
Google ScholarTM
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.