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 > Results > Use of symbolic program execution in program testing

Title:	Use of symbolic program execution in program testing
Authors:	Markoski, Branko S. ; Ivanković, Zdravko B.; Radosav, Dragica D. ; Milošević, Zoran S.; Obradović, Borislav S.
Issue Date:	2011
Publication:	TECHNICS TECHNOLOGIES EDUCATION MANAGEMENT-TTEM
ISSN:	1986-809X Technics Technologies Education Management / TTEM Search Idenfier
Type:	Article
Collation:	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
Metadata source:	Migrirano iz RIS podataka
M-category:	22M22

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.