Zum Inhalt springen

  1. Qin, Shengchao [HerausgeberIn]; Qiu, Zongyan [Sonstige Person, Familie und Körperschaft] ; International Conference on Formal Engineering Methods 13 2011 Durham

    Formal methods and software engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011 ; proceedings

    Bücher
    Schließen

    Merkliste

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

    Berlin; Heidelberg: Springer, 2011

    Erschienen in: Lecture notes in computer science ; 6991

  2. Barthe, Gilles [HerausgeberIn]; Pardo, Alberto [Sonstige Person, Familie und Körperschaft]; Schneider, Gerardo [Sonstige Person, Familie und Körperschaft] ; SEFM 9 2011 Montevideo

    Software engineering and formal methods : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 ; proceedings

    Bücher
    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 ; 7041

  3. Dong, Jin Song [HerausgeberIn]; Zhu, Huibiao [Sonstige Person, Familie und Körperschaft] ; International Conference on Formal Engineering Methods 12 2010 Schanghai

    Formal methods and software engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 ; proceedings

    Bücher
    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, 2010

    Erschienen in: Lecture notes in computer science ; 6447

  5. Bin, Eyal [HerausgeberIn]; Ziv, Avi [Sonstige Person, Familie und Körperschaft]; Ur, Shmuel [Sonstige Person, Familie und Körperschaft] ; International Haifa Verification Conference 2 2006 Haifa

    Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers

    Bücher
    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, 2007

    Erschienen in: Lecture notes in computer science ; 4383

  7. Ur, Shmuel [Sonstige Person, Familie und Körperschaft] ; International Haifa Verification Conference 1 2005 Haifa

    Hardware and software verification and testing : first International Haifa Verification Conference, Haifa, Israel, November 13 - 16, 2005 ; revised selected papers

    Bücher
    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 ; 3875

  10. Dangl, Matthias [VerfasserIn] ; Beyer, Dirk [AkademischeR BetreuerIn]

    Witness-based validation of verification results with applications to software-model checking

    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.

    München: Universitätsbibliothek der Ludwig-Maximilians-Universität, 2022

  11. Counsell, Steve [VerfasserIn] ; Nuñez, Manuel [HerausgeberIn]

    Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, 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.

    Cham [u.a.]: Springer, 2014

    Erschienen in: Lecture notes in computer science ; 8368

  12. Bin, Eyal [Sonstige Person, Familie und Körperschaft]; Ur, Shmuel [Sonstige Person, Familie und Körperschaft]; Ziv, Avi [Sonstige Person, Familie und Körperschaft]

    Hardware and Software, Verification and Testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. 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: Springer Berlin Heidelberg, 2007

    Erschienen in: Lecture notes in computer science ; 4383

  13. Giannakopoulou, Dimitra [VerfasserIn] ; Salaün, Gwen [HerausgeberIn]

    Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. 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.

    Cham [u.a.]: Springer, 2014

    Erschienen in: Lecture notes in computer science ; 8702

  14. Hierons, Robert M. [VerfasserIn] ; Merayo, Mercedes G. [HerausgeberIn]; Bravetti, Mario [HerausgeberIn]

    Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. 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: Springer, 2013

    Erschienen in: Lecture notes in computer science ; 8137

  15. Qin, Shengchao [VerfasserIn] ; Qiu, Zongyan [Sonstige Person, Familie und Körperschaft]

    Formal Methods and Software Engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. 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: Springer Berlin Heidelberg, 2011

    Erschienen in: Lecture notes in computer science ; 6991

  16. Barthe, Gilles [VerfasserIn] ; Pardo, Alberto [Sonstige Person, Familie und Körperschaft]; Schneider, Gerardo [Sonstige Person, Familie und Körperschaft]

    Software Engineering and Formal Methods : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. 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: Springer Berlin Heidelberg, 2011

    Erschienen in: Lecture notes in computer science ; 7041

  17. Dong, Jin Song [VerfasserIn] ; Zhu, Huibiao [Sonstige Person, Familie und Körperschaft]

    Formal Methods and Software Engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. 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: Springer Berlin Heidelberg, 2010

    Erschienen in: Lecture notes in computer science ; 6447

  18. Fitzgerald, John [Sonstige Person, Familie und Körperschaft]; Hayes, Ian J. [Sonstige Person, Familie und Körperschaft]; Tarlecki, Andrzej [Sonstige Person, Familie und Körperschaft]

    FM 2005: Formal Methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 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: Springer Berlin Heidelberg, 2005

    Erschienen in: Lecture notes in computer science ; 3582

  19. Araki, Keijiro [VerfasserIn] ; Gnesi, Stefania [Sonstige Person, Familie und Körperschaft]; Mandrioli, Dion [Sonstige Person, Familie und Körperschaft]

    FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 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: Springer Berlin Heidelberg, 2003

    Erschienen in: Lecture notes in computer science ; 2805

  20. Calinescu, Radu [HerausgeberIn]; Rumpe, Bernhard [HerausgeberIn]

    Software Engineering and Formal Methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings - [1st ed. 2015]

    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.

    Cham [u.a.]: Springer, 2015

    Erschienen in: Lecture notes in computer science ; 9276