Zum Inhalt springen

  1. Barthe, Gilles [HerausgeberIn]; 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
    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

  2. Jones, Neil D. [HerausgeberIn]; 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
    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

  3. Cook, Byron [HerausgeberIn]; 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
    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

  4. Emerson, E. Allen [HerausgeberIn]; 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
    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

  6. Logozzo, Francesco [HerausgeberIn]; 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
    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

  7. Kuncak, Viktor [HerausgeberIn]; 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
    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

  8. Jhala, Ranjit [HerausgeberIn]; 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
    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

  9. Steffen, Bernhard [VerfasserIn] ; Levi, Giorgio [Sonstige Person, Familie und Körperschaft]

    Verification, Model Checking, and Abstract Interpretation : 5th International Conference, VMCAI 2004, Venice, January 11-13, 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: Springer Berlin Heidelberg, 2004

    Erschienen in: Lecture notes in computer science ; 2937

  10. Barthe, Gilles [VerfasserIn] ; Hermenegildo, Manuel [Sonstige Person, Familie und Körperschaft]

    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: Springer Berlin Heidelberg, 2010

    Erschienen in: Lecture notes in computer science ; 5944

  11. Logozzo, Francesco [Sonstige Person, Familie und Körperschaft]; Peled, Doron [Sonstige Person, Familie und Körperschaft]; Zuck, Lenore D. [Sonstige Person, Familie und Körperschaft]

    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: Springer Berlin Heidelberg, 2008

    Erschienen in: Lecture notes in computer science ; 4905

  12. Cook, Byron [Sonstige Person, Familie und Körperschaft]; Podelski, Andreas [Sonstige Person, Familie und Körperschaft]

    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: Springer Berlin Heidelberg, 2007

    Erschienen in: Lecture notes in computer science ; 4349

  13. Emerson, E. Allen [Sonstige Person, Familie und Körperschaft]; Namjoshi, Kedar S. [Sonstige Person, Familie und Körperschaft]

    Verification, Model Checking, and Abstract Interpretation (vol. # 3855) : 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: Springer Berlin Heidelberg, 2006

    Erschienen in: Lecture notes in computer science ; 3855

  14. Dillig, Isil [HerausgeberIn]; Palsberg, Jens [HerausgeberIn]

    Verification, Model Checking, and Abstract Interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, 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: Springer, 2018

    Erschienen in: Lecture notes in computer science ; 10747

  15. Bouajjani, Ahmed [HerausgeberIn]; Monniaux, David [HerausgeberIn]

    Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, 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: Springer, 2017

    Erschienen in: Lecture notes in computer science ; 10145

  16. Jobstmann, Barbara [HerausgeberIn]; Leino, K. Rustan M. [HerausgeberIn]

    Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings - [1st ed. 2016]

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

    Erschienen in: Lecture notes in computer science ; 9583

  17. McMillan, Kenneth L. [VerfasserIn] ; Rival, Xavier [HerausgeberIn]

    Verification, Model Checking, and Abstract Interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 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.

    Berlin, Heidelberg: Springer, 2014

    Erschienen in: Lecture notes in computer science ; 8318

  18. Giacobazzi, Roberto [VerfasserIn] ; Berdine, Josh [Sonstige Person, Familie und Körperschaft]; Mastroeni, Isabella [Sonstige Person, Familie und Körperschaft]

    Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 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 ; 7737

  19. Kuncak, Viktor [VerfasserIn] ; Rybalchenko, Andrey [Sonstige Person, Familie und Körperschaft]

    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: Springer Berlin Heidelberg, 2012

    Erschienen in: Lecture notes in computer science ; 7148

  20. Hutchison, David [Sonstige Person, Familie und Körperschaft]; Nierstrasz, Oscar [Sonstige Person, Familie und Körperschaft]; Pandu Rangan, C. [Sonstige Person, Familie und Körperschaft]; Steffen, Bernhard [Sonstige Person, Familie und Körperschaft]; Sudan, Madhu [Sonstige Person, Familie und Körperschaft]; Terzopoulos, Demetri [Sonstige Person, Familie und Körperschaft]; Tygar, Doug [Sonstige Person, Familie und Körperschaft]; Vardi, Moshe Y. [Sonstige Person, Familie und Körperschaft]; Weikum, Gerhard [Sonstige Person, Familie und Körperschaft]; Jones, Neil D. [Sonstige Person, Familie und Körperschaft]; Kanade, Takeo [Sonstige Person, Familie und Körperschaft]; Kittler, Josef [Sonstige Person, Familie und Körperschaft]; Kleinberg, Jon [Sonstige Person, Familie und Körperschaft]; Mattern, Friedemann [Sonstige Person, Familie und Körperschaft]; Mitchell, John C. [Sonstige Person, Familie und Körperschaft]; Müller-Olm, Markus [Sonstige Person, Familie und Körperschaft]; Naor, Moni [Sonstige Person, Familie und Körperschaft]

    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: Springer Berlin Heidelberg, 2009

    Erschienen in: Lecture notes in computer science ; 5403