Skip to contents

Cousot, Radhia [Editor] ; SAS 10 2003 San Diego, Calif

Static analysis : 10th international symposium ; proceedings

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

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

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

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
Yang, Hongseok [Editor] ; APLAS 9 2011 Kending

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

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

Static analysis : 9th international symposium ; proceedings

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

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

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

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
Dangl, Matthias [Author] ; Beyer, Dirk [Degree supervisor]

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

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.

München: Universitätsbibliothek der Ludwig-Maximilians-Universität, 2022
Counsell, Steve [Author] ; Nuñez, Manuel [Editor]

Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham [u.a.]: Springer, 2014

Published in: Lecture notes in computer science ; 8368
Hermenegildo, Manuel V. [Author] ; Puebla, Germán [Other]

Static Analysis : 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002

Published in: Lecture notes in computer science ; 2477
Qin, Shengchao [Author] ; Qiu, Zongyan [Other]

Formal Methods and Software Engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

Published in: Lecture notes in computer science ; 6991
Dong, Jin Song [Author] ; Zhu, Huibiao [Other]

Formal Methods and Software Engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

Published in: Lecture notes in computer science ; 6447
Fitzgerald, John [Other]; Hayes, Ian J. [Other]; Tarlecki, Andrzej [Other]

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

Published in: Lecture notes in computer science ; 3582
Araki, Keijiro [Author] ; Gnesi, Stefania [Other]; Mandrioli, Dion [Other]

FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2003

Published in: Lecture notes in computer science ; 2805
Giannakopoulou, Dimitra [Author] ; Salaün, Gwen [Editor]

Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham [u.a.]: Springer, 2014

Published in: Lecture notes in computer science ; 8702
Hierons, Robert M. [Author] ; Merayo, Mercedes G. [Editor]; Bravetti, Mario [Editor]

Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer, 2013

Published in: Lecture notes in computer science ; 8137
Barthe, Gilles [Author] ; Pardo, Alberto [Other]; Schneider, Gerardo [Other]

Software Engineering and Formal Methods : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

Published in: Lecture notes in computer science ; 7041
Cousot, Radhia [Author]

Static Analysis : 10th International Symposium, SAS 2003 San Diego, CA, USA, June 11–13, 2003 Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2003

Published in: Lecture notes in computer science ; 2694

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication