Use of symbolic program execution in program testing

Markoski, Branko S.; Ivanković, Zdravko B.; Radosav, Dragica D.; Milošević, Zoran S.; Obradović, Borislav S.

Results

eNauka > Rezultati > Use of symbolic program execution in program testing

Naziv:	Use of symbolic program execution in program testing
Autori:	Markoski, Branko S. ; Ivanković, Zdravko B.; Radosav, Dragica D. ; Milošević, Zoran S.; Obradović, Borislav S.
Godina:	2011
Publikacija:	TECHNICS TECHNOLOGIES EDUCATION MANAGEMENT-TTEM
ISSN:	1986-809X Technics Technologies Education Management / TTEM Pretraži identifikator
Tip rezultata:	Naučni članak
Kolacija:	vol. 6 br. 3 str. 836-840
WoS-ID:	000296416400034
URI:	https://enauka.gov.rs/handle/123456789/251140
URL:	https://pdf.ttem.ba/ttem_6_3_web.pdf
Izvor metapodataka:	Migrirano iz RIS podataka
M-kategorija:	22M22 - Međunarodni časopis kategorije M22

Find the DOI

Finding a DOI in CrossRef based on publication meta-data. The DOI (and metadata) with the similar data match will be displayed. ATTENTION - it doesn't have to be that publication.