DEDUCTIVE TESTING OF (PARTIAL) PROGRAM CORRECTNESS

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

Резултати

еНаука > Резултати > DEDUCTIVE TESTING OF (PARTIAL) PROGRAM CORRECTNESS

Назив:	DEDUCTIVE TESTING OF (PARTIAL) PROGRAM CORRECTNESS
Аутори:	Markoski Branko; Šetrajčić Jovan; Mirjanić Dragoljub; Mihajlović J; Kukolj Dragan
Година:	2008
Публикација:	International Symposium "Energetics 2008" Symposium proceeding, International Symposium "Energetics 2008", Ohrid, 2008
Тип резултата:	Конференцијски рад
ISBN:	978-9949-2612-4-7 ИСБН није валидан Претражи идентификатор
Колација:	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
М-категорија:	Мп категорија ће бити приказана накнадно.

Пронађи DOI

Проналажење DOI у сервису CrossRef-у на основу мета-података у запису. Приказаће се DOI (и метаподаци) чији се подаци највише поклапају. ОПРЕЗ - то не мора бити та публикација.

Google Scholar^TM

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.