Zum Inhalt springen

  2. Barthe, Gilles [Herausgeber:in]; Hermenegildo, Manuel [Sonstige Person, Familie und Körperschaft] ; VMCAI 11 2010 Madrid

    Verification, model checking, and abstract interpretation : 11th international conference, VMCAI 2010, Madrid, Spain, January 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 [u.a.]: Springer, 2010

    Erschienen in: Lecture notes in computer science ; 5944

  3. Jones, Neil D. [Herausgeber:in]; Müller-Olm, Markus [Sonstige Person, Familie und Körperschaft] ; VMCAI 10 2009 Savannah, Ga

    Verification, model checking, and abstract interpretation : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 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 ; 5403

  4. Cook, Byron [Herausgeber:in]; Podelski, Andreas [Sonstige Person, Familie und Körperschaft] ; VMCAI 8 2007 Nizza

    Verification, model checking, and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14 - 16, 2007 ; 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, 2007

    Erschienen in: Lecture notes in computer science ; 4349

  5. Emerson, E. Allen [Herausgeber:in]; Namjoshi, Kedar S. [Sonstige Person, Familie und Körperschaft] ; VMCAI 7 2006 Charleston, SC

    Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8 - 10, 2006 ; 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, 2006

    Erschienen in: Lecture notes in computer science ; 3855

  7. Logozzo, Francesco [Herausgeber:in]; Peled, Doron A. [Sonstige Person, Familie und Körperschaft]; Zuck, Leonore D. [Sonstige Person, Familie und Körperschaft] ; VMCAI 9 2008 San Francisco, Calif

    Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008, San Francisco, USA, January 7 - 9, 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 ; 4905

  8. Qin, Shengchao [Herausgeber:in]; 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
    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, 2011

    Erschienen in: Lecture notes in computer science ; 6991

  9. Barthe, Gilles [Herausgeber:in]; 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
    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 ; 7041

  10. Dong, Jin Song [Herausgeber:in]; 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
    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, 2010

    Erschienen in: Lecture notes in computer science ; 6447

  11. Oliveira, Marcel Vinícius Medeiros [Sonstige Person, Familie und Körperschaft]; Woodcock, Jim [Sonstige Person, Familie und Körperschaft]; Medeiros Oliveira, Marcel Vinícius [Herausgeber:in] ; Brazilian Symposium on Formal Methods 12 2009 Gramado

    Formal methods: foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 ; 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, 2009

    Erschienen in: Lecture notes in computer science ; 5902

  15. Jhala, Ranjit [Herausgeber:in]; Schmidt, David [Sonstige Person, Familie und Körperschaft] ; VMCAI 12 2011 Austin, Tex

    Verification, model checking, and abstract interpretation : 12th international conference, VMCAI 2011, Austin, TX, USA, January 23-25, 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.

    Heidelberg [u.a.]: Springer, 2011

    Erschienen in: Lecture notes in computer science ; 6538

  16. Kuncak, Viktor [Herausgeber:in]; Rybalchenko, Andrey [Sonstige Person, Familie und Körperschaft] ; VMCAI 13 2012 Philadelphia, Pa

    Verification, model checking, and abstract interpretation : 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22 - 24, 2012 ; 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, 2012

    Erschienen in: Lecture notes in computer science ; 7148

  17. Dams, Dennis [Herausgeber:in]; Roever, Willem-Paul de [Gefeierte:r]; Hannemann, Ulrich [Herausgeber:in]; Steffen, Martin [Herausgeber:in]; Dams, Dennis René [Herausgeber:in]

    Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever

    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, 2010

    Erschienen in: Lecture notes in computer science ; 5930

  19. Leue, Stefan [Herausgeber:in]; Merino, Pedro [Sonstige Person, Familie und Körperschaft] ; FMICS 12 2007 Berlin

    Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1 - 2, 2007 ; 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, 2008

    Erschienen in: Lecture notes in computer science ; 4916

  20. Alpuente, María [Herausgeber:in]; Cook, Byron [Sonstige Person, Familie und Körperschaft]; Joubert, Christophe [Sonstige Person, Familie und Körperschaft] ; FMICS 14 2009 Eindhoven

    Formal methods for industrial critical systems : 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 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 ; 5825