![](/img/cover-not-exists.png)
[IEEE 2019 International Conference on Advanced Science and Engineering (ICOASE) - Zakho - Duhok, Iraq (2019.4.2-2019.4.4)] 2019 International Conference on Advanced Science and Engineering (ICOASE) - The quest for the correctness of computer systems: The program verification approach
Abdulla, Parosh A.Year:
2019
DOI:
10.1109/icoase.2019.8723834
File:
PDF, 6.42 MB
2019