TY  - CONF

T1  - FORTEST: Formal methods and testing

JO  - 26TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, PROCEEDINGS

PY  - 2002/01/01

AU  - Bowen JP

AU  - Bogdanov K

AU  - Clark JA

AU  - Harman M

AU  - Hierons RM

AU  - Krause P

ED  - 

SP  - 91

EP  - 101

Y2  - 2024/12/22

ER  -