DEDUCTIVE TESTING OF (PARTIAL) PROGRAM CORRECTNESS

Markoski Branko; Šetrajčić Jovan; Mirjanić Dragoljub; Mihajlović J; Kukolj Dragan

Results

eNauka > Results > DEDUCTIVE TESTING OF (PARTIAL) PROGRAM CORRECTNESS

Title:	DEDUCTIVE TESTING OF (PARTIAL) PROGRAM CORRECTNESS
Authors:	Markoski Branko; Šetrajčić Jovan; Mirjanić Dragoljub; Mihajlović J; Kukolj Dragan
Issue Date:	2008
Publication:	International Symposium "Energetics 2008" Symposium proceeding, International Symposium "Energetics 2008", Ohrid, 2008
Type:	Conference Paper
ISBN:	978-9949-2612-4-7 ИСБН није валидан Search Idenfier
Collation:	str. 597-603
URI:	https://www.cris.uns.ac.rs/record.jsf?recordId=26483&source=eNauka&language=en https://www.cris.uns.ac.rs/record.jsf?recordId=26482&source=eNauka&language=en https://enauka.gov.rs/handle/123456789/585323
M-category:	Mp. category will be shown later

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.

Google Scholar^TM