FORTEST: Formal Methods and Testing (joint panel paper)

Bowen, Jonathan and Bogdanov, Kirill and Clark, John and Harman, Mark and Hierons, Robert Mark and Krause, Paul (2002) FORTEST: Formal Methods and Testing (joint panel paper). In: 26<sup>th</sup> IEEE Annual Computer Software and Applications Conference (COMPSAC 2002).

Full text not available from this repository.

Item Type:	Conference or Workshop Item (UNSPECIFIED)
Subjects:	UNSPECIFIED
ID Code:	424
Deposited By:	Prof Mark Harman
Deposited On:	01 Nov 2007 17:22
Last Modified:	01 Nov 2007 20:09

Repository Staff Only: item control page

Accessibility | Terms and Conditions | Last Modified 01 November 2007