Zum Inhalt springen

  3. Leuschel, Michael [Herausgeber:in]; Wehrheim, Heike [Sonstige Person, Familie und Körperschaft] ; IFM 7 2009 Düsseldorf

    Integrated formal methods : 7th international conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009 ; proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2009

    Erschienen in: Lecture notes in computer science ; 5423

  4. Boiten, Eerke [Sonstige Person, Familie und Körperschaft]; Boiten, Eerke A. [Herausgeber:in] ; IFM 4 2004 Canterbury

    Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4 - 7, 2004 ; proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2004

    Erschienen in: Lecture notes in computer science ; 2999

  5. Smith, Graeme P. [Sonstige Person, Familie und Körperschaft]; Pol, Jaco C. van de [Sonstige Person, Familie und Körperschaft]; Romijn, Judi M. [Herausgeber:in] ; IFM 5 2005 Eindhoven

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2005

    Erschienen in: Lecture notes in computer science ; 3771

  7. Beckert, Bernhard [Herausgeber:in]; Marché, Claude [Sonstige Person, Familie und Körperschaft] ; FoVeOOS 2010 Paris

    Formal verification of object-oriented software : International Conference FoVeOOS 2010, Paris, France, June 28-30, 2010 ; revised selected papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2011

    Erschienen in: Lecture notes in computer science ; 6528

  9. Shankar, Natarajan [Herausgeber:in]; Woodcock, Jim [Sonstige Person, Familie und Körperschaft] ; VSTTE 2 2008 Toronto

    Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 ; proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2008

    Erschienen in: Lecture notes in computer science ; 5295

  13. Margaria, Tiziana [Sonstige Person, Familie und Körperschaft]; Steffen, Bernhard [Sonstige Person, Familie und Körperschaft]; Margaria-Steffen, Tiziana [Herausgeber:in] ; ISoLA 1 2004 Paphos

    Leveraging applications of formal methods : first international symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004 ; revised selected papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 4313

  14. Lau, Kung-Kiu [Herausgeber:in]; Banach, Richard [Sonstige Person, Familie und Körperschaft] ; International Conference on Formal Engineering Methods 7 2005 Manchester

    Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 - 4, 2005 ; proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2005

    Erschienen in: Lecture notes in computer science ; 3785

  15. Dong, Jin Song [Herausgeber:in] ; International Conference on Formal Engineering Methods 5 2003 Singapur

    Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, Singapore, November 5-7, 2003 ; proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2003

    Erschienen in: Lecture notes in computer science ; 2885

  18. Bernardo, Marco [Herausgeber:in]; Cimatti, Alessandro [Sonstige Person, Familie und Körperschaft] ; International School on Formal Methods for the Design of Computer, Communication, and Software Systems 6 2006 Bertinoro

    Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22 - 27, 2006 ; advanced lectures

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 3965