Zum Inhalt springen

Ohori, Atsushi [HerausgeberIn] ; APLAS 1 2003 Peking

Programming languages and systems : first Asian Symposium, Beijing, China, November 27-29, 2003 ; proceedings

Schließen

Merkliste

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

Berlin; Heidelberg: Springer, 2003

Erschienen in: Lecture notes in computer science ; 2895
Margaria, Tiziana [Sonstige Person, Familie und Körperschaft]; Steffen, Bernhard [Sonstige Person, Familie und Körperschaft]; Margaria-Steffen, Tiziana [HerausgeberIn] ; ISoLA 1 2004 Paphos

Leveraging applications of formal methods : first international symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004 ; revised selected papers

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 ; 4313
Yi, Kwangkeun [HerausgeberIn] ; SAS 13 2006 Seoul

Static analysis : 13th international symposium, SAS 2006, Seoul, Korea, August 29 - 31, 2006 ; proceedings

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 ; 4134
Hu, Zhenjiang [HerausgeberIn] ; APLAS 7 2009 Seoul

Programming languages and systems : 7th Asian symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009 ; proceedings

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 ; 5904
Hankin, Chris [HerausgeberIn]; Siveroni, Igor [Sonstige Person, Familie und Körperschaft] ; SAS 12 2005 London

Static analysis : 12th international symposium, SAS 2005, London, UK, September 7 - 9, 2005 ; proceedings

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

Erschienen in: Lecture notes in computer science ; 3672
Cousot, Radhia [HerausgeberIn] ; SAS 10 2003 San Diego, Calif

Static analysis : 10th international symposium ; proceedings

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

Erschienen in: Lecture notes in computer science ; 2694
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

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

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
Misra, Jayadev [HerausgeberIn] ; FM 14 2006 Hamilton, Ontario

FM 2006 : formal methods ; 14th International Symposium on Formal Methods, Hamilton, Canada, August 21 - 27, 2006 ; proceedings

Schließen

Merkliste

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

Berlin; Heidelberg: Springer, 2006

Erschienen in: Lecture notes in computer science ; 4085
Margaria-Steffen, Tiziana [HerausgeberIn] ; 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

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, 20XX-

Erschienen in: Lecture notes in computer science ; .
Drossopoulou, Sophia [HerausgeberIn] ; 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

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
Hermenegildo, Manuel V. [HerausgeberIn] ; SAS 9 2002 Madrid

Static analysis : 9th international symposium ; proceedings

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

Erschienen in: Lecture notes in computer science ; 2477
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

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
Riis Nielson, Hanne [Sonstige Person, Familie und Körperschaft]; Filé, Gilberto [Sonstige Person, Familie und Körperschaft]; Nielson, Hanne Riis [HerausgeberIn] ; SAS 14 2007 Lyngby-Tårbaek

Static analysis : 14th international symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 ; proceedings

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
Fitzgerald, John [HerausgeberIn] ; FM 13 2005 Newcastle-upon-Tyne

FM 2005: Formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18 - 22, 2005; proceedings

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

Erschienen in: Lecture notes in computer science ; 3582
Araki, Keijiro [HerausgeberIn] ; FME 12 2003 Pisa

FME 2003: Formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003; proceedings

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

Erschienen in: Lecture notes in computer science ; 2805
Yang, Hongseok [HerausgeberIn] ; APLAS 9 2011 Kending

Programming languages and systems : 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011 ; proceedings

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 ; 7078
Giacobazzi, Roberto [HerausgeberIn] ; SAS 11 2004 Verona

Static analysis : 11th international symposium, SAS 2004, Verona, Italy, August 26 - 28, 2004 ; proceedings

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

Erschienen in: Lecture notes in computer science ; 3148
Mansur, Muhammad Numair [VerfasserIn] ; Christakis, Maria [AkademischeR BetreuerIn]

Automatically Detecting and Mitigating Issues in Program Analyzers

Online ansehen
Schließen

Zugang

https://d-nb.info/1286479940/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

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

Kaiserslautern-Landau: Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau, 2023
Dangl, Matthias [VerfasserIn] ; Beyer, Dirk [AkademischeR BetreuerIn]

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

Online ansehen
Schließen

Zugang

https://d-nb.info/1285815904/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

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

München: Universitätsbibliothek der Ludwig-Maximilians-Universität, 2022

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr