Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
Integrated Formal Methods
häftad,
2004,
Engelska,
ISBN 9783540213772
The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, was held in Canterbury, UK, 4–7 April 2004. The conference was organized by the …
Integrated Formal Methods
häftad,
2005,
Engelska,
ISBN 9783540304920
This is the 5th edition of the International Conference on Integrated Formal Methods (IFM). Previous IFM conferences were held in York (June 1999), D- stuhl (November 2000), Turku …