Skip to contents Ohori, Atsushi [Editor] ; APLAS 1 2003 Peking Programming languages and systems : first Asian Symposium, Beijing, China, November 27-29, 2003 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 2003 Published in: Lecture notes in computer science ; 2895 Margaria, Tiziana [Other]; Steffen, Bernhard [Other]; Margaria-Steffen, Tiziana [Editor] ; ISoLA 1 2004 Paphos Leveraging applications of formal methods : first international symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004 ; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 4313 Yi, Kwangkeun [Editor] ; SAS 13 2006 Seoul Static analysis : 13th international symposium, SAS 2006, Seoul, Korea, August 29 - 31, 2006 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 4134 Hu, Zhenjiang [Editor] ; APLAS 7 2009 Seoul Programming languages and systems : 7th Asian symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5904 Hankin, Chris [Editor]; Siveroni, Igor [Other] ; SAS 12 2005 London Static analysis : 12th international symposium, SAS 2005, London, UK, September 7 - 9, 2005 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3672 Cousot, Radhia [Editor] ; SAS 10 2003 San Diego, Calif Static analysis : 10th international symposium ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2003 Published in: Lecture notes in computer science ; 2694 Dong, Jin Song [Editor]; Zhu, Huibiao [Other] ; 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 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6447 Qin, Shengchao [Editor]; Qiu, Zongyan [Other] ; 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 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 2011 Published in: Lecture notes in computer science ; 6991 Misra, Jayadev [Editor] ; FM 14 2006 Hamilton, Ontario FM 2006 : formal methods ; 14th International Symposium on Formal Methods, Hamilton, Canada, August 21 - 27, 2006 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 2006 Published in: Lecture notes in computer science ; 4085 Margaria-Steffen, Tiziana [Editor] ; ISoLA 4 2010 Heraklion Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraclion, Crete, Greece, October 18 - 21, 2010, proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 20XX- Published in: Lecture notes in computer science ; . Drossopoulou, Sophia [Editor] ; 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 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 4960 Hermenegildo, Manuel V. [Editor] ; SAS 9 2002 Madrid Static analysis : 9th international symposium ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2002 Published in: Lecture notes in computer science ; 2477 Barthe, Gilles [Editor]; Pardo, Alberto [Other]; Schneider, Gerardo [Other] ; SEFM 9 2011 Montevideo Software engineering and formal methods : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 7041 Riis Nielson, Hanne [Other]; Filé, Gilberto [Other]; Nielson, Hanne Riis [Editor] ; SAS 14 2007 Lyngby-Tårbaek Static analysis : 14th international symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4634 Fitzgerald, John [Editor] ; FM 13 2005 Newcastle-upon-Tyne FM 2005: Formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18 - 22, 2005; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3582 Araki, Keijiro [Editor] ; FME 12 2003 Pisa FME 2003: Formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2003 Published in: Lecture notes in computer science ; 2805 Yang, Hongseok [Editor] ; APLAS 9 2011 Kending Programming languages and systems : 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 7078 Giacobazzi, Roberto [Editor] ; SAS 11 2004 Verona Static analysis : 11th international symposium, SAS 2004, Verona, Italy, August 26 - 28, 2004 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2004 Published in: Lecture notes in computer science ; 3148 Mansur, Muhammad Numair [Author] ; Christakis, Maria [Degree supervisor] Automatically Detecting and Mitigating Issues in Program Analyzers Books View online Schließen > Access https://d-nb.info/1286479940/34 kostenfrei Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Kaiserslautern-Landau: Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau, 2023 Dangl, Matthias [Author] ; Beyer, Dirk [Degree supervisor] Witness-based validation of verification results with applications to software-model checking Books View online Schließen > Access https://d-nb.info/1285815904/34 kostenfrei Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Universitätsbibliothek der Ludwig-Maximilians-Universität, 2022
Ohori, Atsushi [Editor] ; APLAS 1 2003 Peking Programming languages and systems : first Asian Symposium, Beijing, China, November 27-29, 2003 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 2003 Published in: Lecture notes in computer science ; 2895
Margaria, Tiziana [Other]; Steffen, Bernhard [Other]; Margaria-Steffen, Tiziana [Editor] ; ISoLA 1 2004 Paphos Leveraging applications of formal methods : first international symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004 ; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 4313
Yi, Kwangkeun [Editor] ; SAS 13 2006 Seoul Static analysis : 13th international symposium, SAS 2006, Seoul, Korea, August 29 - 31, 2006 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 4134
Hu, Zhenjiang [Editor] ; APLAS 7 2009 Seoul Programming languages and systems : 7th Asian symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5904
Hankin, Chris [Editor]; Siveroni, Igor [Other] ; SAS 12 2005 London Static analysis : 12th international symposium, SAS 2005, London, UK, September 7 - 9, 2005 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3672
Cousot, Radhia [Editor] ; SAS 10 2003 San Diego, Calif Static analysis : 10th international symposium ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2003 Published in: Lecture notes in computer science ; 2694
Dong, Jin Song [Editor]; Zhu, Huibiao [Other] ; 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 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6447
Qin, Shengchao [Editor]; Qiu, Zongyan [Other] ; 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 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 2011 Published in: Lecture notes in computer science ; 6991
Misra, Jayadev [Editor] ; FM 14 2006 Hamilton, Ontario FM 2006 : formal methods ; 14th International Symposium on Formal Methods, Hamilton, Canada, August 21 - 27, 2006 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 2006 Published in: Lecture notes in computer science ; 4085
Margaria-Steffen, Tiziana [Editor] ; ISoLA 4 2010 Heraklion Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraclion, Crete, Greece, October 18 - 21, 2010, proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 20XX- Published in: Lecture notes in computer science ; .
Drossopoulou, Sophia [Editor] ; 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 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 4960
Hermenegildo, Manuel V. [Editor] ; SAS 9 2002 Madrid Static analysis : 9th international symposium ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2002 Published in: Lecture notes in computer science ; 2477
Barthe, Gilles [Editor]; Pardo, Alberto [Other]; Schneider, Gerardo [Other] ; SEFM 9 2011 Montevideo Software engineering and formal methods : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 7041
Riis Nielson, Hanne [Other]; Filé, Gilberto [Other]; Nielson, Hanne Riis [Editor] ; SAS 14 2007 Lyngby-Tårbaek Static analysis : 14th international symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4634
Fitzgerald, John [Editor] ; FM 13 2005 Newcastle-upon-Tyne FM 2005: Formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18 - 22, 2005; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3582
Araki, Keijiro [Editor] ; FME 12 2003 Pisa FME 2003: Formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2003 Published in: Lecture notes in computer science ; 2805
Yang, Hongseok [Editor] ; APLAS 9 2011 Kending Programming languages and systems : 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 7078
Giacobazzi, Roberto [Editor] ; SAS 11 2004 Verona Static analysis : 11th international symposium, SAS 2004, Verona, Italy, August 26 - 28, 2004 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2004 Published in: Lecture notes in computer science ; 3148
Mansur, Muhammad Numair [Author] ; Christakis, Maria [Degree supervisor] Automatically Detecting and Mitigating Issues in Program Analyzers Books View online Schließen > Access https://d-nb.info/1286479940/34 kostenfrei Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Kaiserslautern-Landau: Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau, 2023
Dangl, Matthias [Author] ; Beyer, Dirk [Degree supervisor] Witness-based validation of verification results with applications to software-model checking Books View online Schließen > Access https://d-nb.info/1285815904/34 kostenfrei Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Universitätsbibliothek der Ludwig-Maximilians-Universität, 2022
> Location Skip to next facet Departmental Library DrePunct (17) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (2) Wert ausschließen Without Specification (24) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (24) Wert ausschließen Mathmatics (17) Wert ausschließen Show more show less
> Creator Skip to next facet Steffen, Bernhard (4) Wert ausschließen Giacobazzi, Roberto (3) Wert ausschließen Margaria, Tiziana (3) Wert ausschließen Araki, Keijiro (2) Wert ausschließen Barthe, Gilles (2) Wert ausschließen Cousot, Radhia (2) Wert ausschließen Dong, Jin Song (2) Wert ausschließen Drossopoulou, Sophia (2) Wert ausschließen Fitzgerald, John (2) Wert ausschließen Hankin, Chris (2) Wert ausschließen Hermenegildo, Manuel V. (2) Wert ausschließen Hu, Zhenjiang (2) Wert ausschließen Margaria-Steffen, Tiziana (2) Wert ausschließen Misra, Jayadev (2) Wert ausschließen Ohori, Atsushi (2) Wert ausschließen Pardo, Alberto (2) Wert ausschließen Qin, Shengchao (2) Wert ausschließen Qiu, Zongyan (2) Wert ausschließen Schneider, Gerardo (2) Wert ausschließen Siveroni, Igor (2) Wert ausschließen Yang, Hongseok (2) Wert ausschließen Zhu, Huibiao (2) Wert ausschließen APLAS 1 2003 Peking (1) Wert ausschließen APLAS 7 2009 Seoul (1) Wert ausschließen APLAS 9 2011 Kending (1) Wert ausschließen Beyer, Dirk (1) Wert ausschließen Bravetti, Mario (1) Wert ausschließen Calinescu, Radu (1) Wert ausschließen Chin, Wei-Ngan (1) Wert ausschließen Christakis, Maria (1) Wert ausschließen Counsell, Steve (1) Wert ausschließen Dangl, Matthias (1) Wert ausschließen ESOP 17 2008 Budapest (1) Wert ausschließen ETAPS 11 2008 Budapest (1) Wert ausschließen Eleftherakis, George (1) Wert ausschließen FM 13 2005 Newcastle-upon-Tyne (1) Wert ausschließen FM 14 2006 Hamilton, Ontario (1) Wert ausschließen FME 12 2003 Pisa (1) Wert ausschließen Filé, Gilberto (1) Wert ausschließen Giannakopoulou, Dimitra (1) Wert ausschließen Gnesi, Stefania (1) Wert ausschließen Hayes, Ian J. (1) Wert ausschließen Hierons, Robert M. (1) Wert ausschließen Hinchey, Mike (1) Wert ausschließen Holcombe, Mike (1) Wert ausschließen ISoLA 1 2004 Paphos (1) Wert ausschließen ISoLA 4 2010 Heraklion (1) Wert ausschließen International Conference on Formal Engineering Methods 12 2010 Schanghai (1) Wert ausschließen International Conference on Formal Engineering Methods 13 2011 Durham (1) Wert ausschließen Mandrioli, Dion (1) Wert ausschließen Mansur, Muhammad Numair (1) Wert ausschließen Maragria, Tiziana (1) Wert ausschließen Merayo, Mercedes G. (1) Wert ausschließen Nielson, Hanne Riis (1) Wert ausschließen Nipkow, Tobias (1) Wert ausschließen Nuñez, Manuel (1) Wert ausschließen Puebla, Germán (1) Wert ausschließen Riis Nielson, Hanne (1) Wert ausschließen Rumpe, Bernhard (1) Wert ausschließen SAS 10 2003 San Diego, Calif (1) Wert ausschließen SAS 11 2004 Verona (1) Wert ausschließen SAS 12 2005 London (1) Wert ausschließen SAS 13 2006 Seoul (1) Wert ausschließen SAS 14 2007 Lyngby-Tårbaek (1) Wert ausschließen SAS 9 2002 Madrid (1) Wert ausschließen SEFM 9 2011 Montevideo (1) Wert ausschließen Salaün, Gwen (1) Wert ausschließen Sekerinski, Emil (1) Wert ausschließen Tarlecki, Andrzej (1) Wert ausschließen Yi, Kwangkeun (1) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (42) Wert ausschließen Diss online (2) Wert ausschließen Show more show less