TESTING OF PROGRAM CORRECTNESS IN FORMAL THEORY

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

Резултати

еНаука > Резултати > TESTING OF PROGRAM CORRECTNESS IN FORMAL THEORY

Назив:	TESTING OF PROGRAM CORRECTNESS IN FORMAL THEORY
Аутори:	Berković Ivana ; Markoski Branko ; Šetrajčić Jovan; Brtka Vladimir ; Dobrilović Dalibor
Година:	2009
Публикација:	Ubiquitous Computing and Communication Journal
ISSN:	1992-8424 Претражи идентификатор
Тип резултата:	Научни чланак
Колација:	vol. 4 br. 3 str. 618-627
URI:	https://www.cris.uns.ac.rs/record.jsf?recordId=26212&source=eNauka&language=en https://enauka.gov.rs/handle/123456789/592062
URL:	https://www.semanticscholar.org/paper/TESTING-OF-PROGRAM-CORRECTNES-IN-FORMAL-THEORY-Berkovic-Markoski/72d8f6df31f7716adbdbb8a53c9c0e3f925e0562
М-категорија:	Мп категорија ће бити приказана накнадно.

Пронађи DOI

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

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