Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings / Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.). by International Conference on Integrated Formal Methods (2nd : 2000 : Dagstuhl Castle, Germany) Grieskamp, Wolfgang, 1960- Santen, Thomas, 1965- Stoddart, Bill, 1946- Series: Lecture notes in computer science ; 1945. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2000 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers / Wolfgang Grieskamp, Carsten Weise (eds.). by FATES 2005 (2005 : Edinburgh, Scotland) Grieskamp, Wolfgang, 1960- Weise, Carsten Series: Lecture notes in computer science ; 3997. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher number: 11759744 Publication details: Berlin ; New York : Springer, ©2006 Other title: FATES 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Refine your search