doktorski rad

Dinamičke algebre i korektnost paralelnih programa

Igor Urbiha

Ključne riječi

evolving algebrasparallel programmingprogram correctness