Skip to contents

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

View online
Schließen

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

View online
Schließen

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

View online
Schließen

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

View online
Schließen

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
Ur, Shmuel [Other] ; International Haifa Verification Conference 1 2005 Haifa

Hardware and software verification and testing : first International Haifa Verification Conference, Haifa, Israel, November 13 - 16, 2005 ; revised selected papers

View online
Schließen

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 ; 3875
Bin, Eyal [Editor]; Ziv, Avi [Other]; Ur, Shmuel [Other] ; International Haifa Verification Conference 2 2006 Haifa

Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers

View online
Schließen

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

View online
Schließen

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

View online
Schließen

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
Barringer, Howard [Editor] ; RV 1 2010 Saint Julian's

Runtime verification : first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010 ; proceedings

View online
Schließen

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

... to E-book via DOI (Volltext)

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
Bin, Eyal [Other]; Ur, Shmuel [Other]; Ziv, Avi [Other]

Hardware and Software, Verification and Testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

Published in: Lecture notes in computer science ; 4383
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

... to E-book via DOI (Volltext)

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

... to E-book via DOI (Volltext)

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

... to E-book via DOI

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

... to E-book via DOI

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

... to E-book via DOI

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

... to E-book via DOI (Volltext)

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

... to E-book via DOI

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
Calinescu, Radu [Editor]; Rumpe, Bernhard [Editor]

Software Engineering and Formal Methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings - [1st ed. 2015]

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

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

Cham [u.a.]: Springer, 2015

Published in: Lecture notes in computer science ; 9276
Eleftherakis, George [Author] ; Hinchey, Mike [Other]; Holcombe, Mike [Other]

Software Engineering and Formal Methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

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

Berlin, Heidelberg: Springer, 2012

Published in: Lecture notes in computer science ; 7504

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