ON CALCULATING ASSERTION PROBABILITIES FOR PROGRAM FAMILIES.
Autor: | Dimovski, Aleksandar S.1 aleksandar.dimovski@unt.edu.mk |
---|---|
Zdroj: | Contributions. Section of Natural, Mathematical & Biotechnical Sciences. 2020, Vol. 41 Issue 1, p13-23. 11p. |
Databáze: | Academic Search Ultimate |
Externí odkaz: |