TESTING OF PROGRAM CORRECTNESS IN FORMAL THEORY

Berković Ivana; Markoski Branko; Šetrajčić Jovan; Brtka Vladimir; Dobrilović Dalibor

Rezultati

eNauka > Rezultati > TESTING OF PROGRAM CORRECTNESS IN FORMAL THEORY

Naziv:	TESTING OF PROGRAM CORRECTNESS IN FORMAL THEORY
Autori:	Berković Ivana ; Markoski Branko ; Šetrajčić Jovan; Brtka Vladimir ; Dobrilović Dalibor
Godina:	2009
Publikacija:	Ubiquitous Computing and Communication Journal
ISSN:	1992-8424 Pretraži identifikator
Tip rezultata:	Naučni članak
Kolacija:	vol. 4 br. 3 str. 618-627
URI:	https://www.cris.uns.ac.rs/record.jsf?recordId=26212&source=eNauka&language=en https://enauka.gov.rs/handle/123456789/592062
URL:	https://www.semanticscholar.org/paper/TESTING-OF-PROGRAM-CORRECTNES-IN-FORMAL-THEORY-Berkovic-Markoski/72d8f6df31f7716adbdbb8a53c9c0e3f925e0562
M-kategorija:	Mp kategorija će biti prikazana naknadno.

Pronađi DOI

Pronalaženje DOI u servisu CrossRef-u na osnovu meta-podataka u zapisu. Prikazaće se DOI (i metapodaci) čiji se podaci najviše poklapaju. OPREZ - to ne mora biti ta publikacija.

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