Integrated formal methods 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005 ; proceedings (Springer, 2005)
Literaturangaben