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 - 2025/06/19 ER -