|
2004 Conference Publication Integrating formal specification and software verification and validationDuke, Roger, Miller, Tim and Strooper, Paul (2004). Integrating formal specification and software verification and validation. CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, 18-19 November 2004. Heidelberg, Germany: Springer. doi: 10.1007/978-3-540-30472-2_8 |
|
2001 Conference Publication Animation can show only the presence of errors, never their absenceMiller, Tim and Strooper, Paul (2001). Animation can show only the presence of errors, never their absence. Australian Software Engineering Conference, ASWEC 2001, Canberra, ACT, Australia, 27-28 August 2001. Los Alamitos, CA, United States: IEEE Computer Society. doi: 10.1109/ASWEC.2001.948500 |
