Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings / Michael Butler, Luigia Petre, Kaisa Sere, eds. by International Conference on Integrated Formal Methods (3rd : 2002 : Turku, Finland) Butler, Michael, 1967- Petre, Luigia, 1974- Sere, K. (Kaisa), 1954- Series: Lecture notes in computer science ; 2335. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2002 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	FM 2008 : formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings / Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.). by International Symposium of Formal Methods Europe (15th : 2008 : Turku, Finland) Cuellar, Jorge Maibaum, Thomas S. E, 1947- Sere, K. (Kaisa), 1954- Series: LNCS sublibrary. SL 2, Programming and software engineering. \| Lecture notes in computer science ; 5014. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2008 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Refine your search