Integrated Formal Methods [E-Book] : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings / by Eerke Boiten, John Derrick, Graeme Smith.
Boiten, Eerke.
Derrick, John. / Smith, Graeme.
Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
online resource
englisch
9783540213772
Lecture notes in computer science ; 2999
Full Text
Description not available.