Zum Inhalt springen

  2. Drossopoulou, Sophia [Herausgeber:in] ; ESOP 17 2008 Budapest, ETAPS 11 2008 Budapest

    Programming languages and systems : 17th European Symposium on Programming, ESOP 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 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 ; 4960

  7. Riis Nielson, Hanne [Sonstige Person, Familie und Körperschaft]; Filé, Gilberto [Sonstige Person, Familie und Körperschaft]; Nielson, Hanne Riis [Herausgeber:in] ; SAS 14 2007 Lyngby-Tårbaek

    Static analysis : 14th international symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 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 ; 4634

  8. Völker, Marcus [Verfasser:in] ; Kowalewski, Stefan [Akademische:r Betreuer:in]; Beckert, Bernhard [Akademische:r Betreuer:in]

    Policy iteration for value set analysis of PLC programs

    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.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2023

    Erschienen in: Aachen : RWTH Aachen University, 2023 (Aachener Informatik-Berichte (AIB); 2023-01)

  9. Mansur, Muhammad Numair [Verfasser:in] ; Christakis, Maria [Akademische:r Betreuer:in]

    Automatically Detecting and Mitigating Issues in Program Analyzers

    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.

    Kaiserslautern-Landau: Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau, 2023

  10. Cousot, Patrick [Verfasser:in] ; Falaschi, Moreno [Sonstige Person, Familie und Körperschaft]; Filè, Gilberto [Sonstige Person, Familie und Körperschaft]; Rauzy, Antoine [Sonstige Person, Familie und Körperschaft]

    Static Analysis : Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. 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, 1993

    Erschienen in: Lecture notes in computer science ; 724

  12. Hankin, Chris [Sonstige Person, Familie und Körperschaft]; Siveroni, Igor [Sonstige Person, Familie und Körperschaft]

    Static Analysis (vol. # 3672) : 12th International Symposium, SAS 2005, London, UK, September 7-9, 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 ; 3672

  13. Drossopoulou, Sophia [Sonstige Person, Familie und Körperschaft]

    Programming Languages and Systems : 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Pr

    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 ; 4960

  14. Nielson, Hanne Riis [Sonstige Person, Familie und Körperschaft]; Filè, Gilberto [Sonstige Person, Familie und Körperschaft]

    Static Analysis : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 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 ; 4634

  16. Hermenegildo, Manuel V. [Verfasser:in] ; Puebla, Germán [Sonstige Person, Familie und Körperschaft]

    Static Analysis : 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 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-Verlag Berlin Heidelberg, 2002

    Erschienen in: Lecture notes in computer science ; 2477

  18. Cousot, Patrick [Sonstige Person, Familie und Körperschaft] ; WSA 3 1993 Padua

    Static analysis : third international workshop, WSA '93, Padova, Italy, September 22 - 24, 1993 ; 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 [u.a.]: Springer, 1993 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 72400