DEDUCATION OF PROGRAM CORRETNES IN FORMAL THEORY

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

Rezultati

eNauka > Rezultati > DEDUCATION OF PROGRAM CORRETNES IN FORMAL THEORY

Naziv:	DEDUCATION OF PROGRAM CORRETNES IN FORMAL THEORY
Autori:	Berković Ivana ; Markoski Branko ; Šetrajčić Jovan; Brtka Vladimir ; Dobrilović Dalibor
Godina:	2009
Publikacija:	The International Conference on Information Technology (ICIT 2009), The International Conference on Information Technology (ICIT 2009), 2009
Izdavač:	Jordan, Amman: AL-Zaytoonah University
Tip rezultata:	Konferencijski rad
Kolacija:	vol. 4 br. 1 str. 1-11
URI:	https://www.cris.uns.ac.rs/record.jsf?recordId=66693&source=eNauka&language=en https://enauka.gov.rs/handle/123456789/586068
URL:	http://icit.zuj.edu.jo/icit09/index.html http://icit.zuj.edu.jo/icit09/PaperList/Papers/Software%20Engineering/508.pdf
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.

Google Scholar^TM

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