Rezultati

eNauka >  Rezultati >  Resolution Methods in Proving the Program Correctness
Naziv: Resolution Methods in Proving the Program Correctness
Autori: Markoski, Branko  ; Hotomski, Petar; Malbaški, Dušan; Obradović, Danilo
Godina: 2007
Publikacija: Yugoslav journal of operations research
ISSN: 0354-0243 Yugoslav journal of operations research Pretraži identifikator
Izdavač: Belgrade : Faculty of Organizational Sciences... [et al.]
Tip rezultata: Naučni članak
Kolacija: vol. 17 br. 2 str. 275-285
DOI: 10.2298/YJOR0702275M
Scopus-ID: 2-s2.0-80054024472
VBS COBISS: 162737932
URI: https://plus.cobiss.net/cobiss/sr/sr/bib/162737932#izum.si
https://enauka.gov.rs/handle/123456789/629908
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

1
SCOPUSTM
Alt metrika
Dimensions

Pronađi DOI
Unpaywall

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.