Skip to contents

Meyer, Bertrand [Editor] ; LASER Summer School on Software Engineering 2008 - 2010

Empirical software engineering and verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy; revised tutorial lectures

Close

Bookmarks

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

Berlin; Heidelberg [u.a.]: Springer, 2012

Published in: Lecture notes in computer science ; 7007
Shankar, Natarajan [Editor]; Woodcock, Jim [Other] ; VSTTE 2 2008 Toronto

Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 ; proceedings

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 ; 5295
Petrenko, Alexandre [Editor] ; International Workshop on Formal Approaches to Testing of Software 3 2003 Montréal

Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software, Montreal, Quebec, Canada, October 6th, 2003 ; revised papers

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 ; 2931
Dong, Jin Song [Editor] ; International Conference on Formal Engineering Methods 5 2003 Singapur

Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, Singapore, November 5-7, 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 ; 2885
Suzuki, Kenji [Editor] ; FORTE 28 2008 Tokio

Formal techniques for networked and distributed systems - FORTE 2008 : 28th IFIP WG 6.1 international conference, Tokyo, Japan, June 10-13, 2008 ; proceedings

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 ; 5048
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
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
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
Liu, Shaoying [Editor]; Maibaum, Tom [Other]; Araki, Keijiro [Other] ; International Conference on Formal Engineering Methods 10 2008 Kitakyūshū

Formal methods and software engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 ; proceedings

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 ; 5256
Breitman, Karin [Other]; Cavalcanti, Ana [Other]; Breitman, Karin K. [Editor] ; International Conference on Formal Engineering Methods 11 2009 Rio de Janeiro

Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 ; proceedings

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 ; 5885
Butler, Michael [Editor]; Hinchey, Michael G. [Other]; Larrondo-Petrie, Maria M. [Other] ; International Conference on Formal Engineering Methods 9 2007 Boca Raton, Fla

Formal methods and software engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007 ; proceedings

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 ; 4789
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
Bieler, Frank [Author]

Spezifikationsbasiertes Testen verteilter Systeme

Close

Bookmarks

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

München; Wien: Oldenbourg, 1994

Published in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 231
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
Leavens, Gary T. [Editor] ; VSTTE 3 2010 Edinburgh

Verified software: theories, tools, experiments : third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 ; proceedings

Close

Bookmarks

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

Berlin; Heidelberg: Springer, 2010

Published in: Lecture notes in computer science ; 6217
Sokolsky, Oleg [Editor]; Taşiran, Serdar [Other] ; International Workshop on Runtime Verification 7 2007 Vancouver, British Columbia

Runtime verification : 7th international workshop, RV 2007, Vancover, Canada, March 13, 2007 ; revised selected papers

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 ; 4839
Grieskamp, Wolfgang [Editor]; Weise, Carsten [Other] ; FATES 5 2005 Edinburgh

Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 ; revised selected papers

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 ; 3997
Lee, David [Editor]; Lopes, Antonia [Other]; Poetzsch-Heffter, Arnd [Other] ; International Federation for Information Processing Working Group Architecture and Protocols for Computer Networks, International Conference FMOODS 11 2009 Lissabon

Formal techniques for distributed systems : joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 ; proceedings

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 ; 5522
Havelund, Klaus [Editor] ; FATES 6 2006 Seattle, Wash, International Workshop on Runtime Verification 6 2006 Seattle, Wash

Formal approaches to software testing and runtime verification : first combined international workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15 - 16, 2006 ; revised selected papers

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

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