%0 Book
%T Integrated formal methods 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005 ; proceedings
%A IFM 5 2005 Eindhoven
%A Smith, Graeme P.
%A Pol, Jaco C. van de
%A Romijn, Judi M.
%I Springer
%@ 3540304924
%@ 9783540304920
%K Formal methods (Computer science) Congresses
%K Konferenzschrift 2005 Eindhoven
%K Softwareentwicklung
%K Formale Methode
%K Systementwicklung
%K Spezifikationssprache
%K Verifikation
%K Model Checking
%D 2005
%X Literaturangaben
%C Springer
%C Berlin
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation