TY  - CONF

T1  - FORTEST: formal methods and testing

JO  - Proceedings 26th Annual International Computer Software and Applications

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

Y2  - 2024/12/23

ER  -