TY  - CONF

T1  - FORTEST: formal methods and testing

JO  - Proceedings 26th Annual International Computer Software and Applications

UR  - https://doi.org/10.1109/cmpsac.2002.1044538

PY  - 2002/01/01

AU  - Bowen JP

AU  - Bogdanov K

AU  - Clark JA

AU  - Harman M

AU  - Hierons RM

AU  - Krause P

ED  - 

DO  - DOI: 10.1109/cmpsac.2002.1044538

PB  - IEEE Comput. Soc

SP  - 91

EP  - 101

Y2  - 2025/11/05

ER  -