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: |
|