Springer Professional: Digital Library for Business & Technology

2012 (Volume 41 | 3 Issues)

Dec 12

Issue: 3/2012

Special isue on 'Runtime Verification'

Oct 12

Issue: 1/2012

Special issue on Computer Aided Verification (CAV '11)

2012 (Volume 40 | 3 Issues)

Jun 12

Issue: 2/2012

Special issue on Computer Aided Verification (CAV'10)

Feb 12

2011 (Volume 39 | 3 Issues)

Dec 11

Issue: 3/2011

Special issue on Computer-Aided Verification (CAV'09)

Oct 11

Issue: 2/2011

Special issue on Hardware Verification Workshop (HWVW '10)

Aug 11

2011 (Volume 38 | 3 Issues)

Jun 11

2010 (Volume 37 | 2 Issues)

Dec 10

Issue: 2-3/2010

Special issue on 'FM2009: 2nd World Congress on Formal Methods'

Nov 10

2010 (Volume 36 | 3 Issues)

Sep 10

Issue: 2/2010

Special Section on 'Analogue Verification'

Feb 10

2009 (Volume 35 | 3 Issues)

Dec 09

Issue: 3/2009

Special issue on Numerical Software Verification / Edited by Franjo Ivančić, Sriram Sankaranarayanan and Chao Wang

Oct 09

Issue: 1/2009

Special Issue: 20th International Conference on Computer Aided Verification (CAV'08) / Edited by Sharad Malik and Aarti Gupta

2009 (Volume 34 | 3 Issues)

Jun 09

Issue: 2/2009

Special Issue: Selected Papers from CAV 2007; Guest Editors: Werner Damm, Holger Hermanns, and Jürgen Niehaus

Feb 09

2008 (Volume 33 | 1 Issues)

Dec 08

2008 (Volume 32 | 3 Issues)

Jun 08

Issue: 3/2008

Special Issue on Learning Techniques for Compositional Reasoning; Guest Editors: Dimitra Giannakopoulou and Corina S. Păsăreanu

Apr 08

Issue: 1/2008

Selected papers from the Seventh International Conference on Hybrid Systems: Computation and Control (HSCC 2004); Guest Editors: Rajeev Alur and George J. Pappas

2007 (Volume 31 | 3 Issues)

Dec 07

2007 (Volume 30 | 3 Issues)

Jun 07

Special issue of Selected Papers from the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 04), Linz, Austria; Guest Editors: Andrew Butterfield, Juan C. Bicarregui and Alvaro Arenas

Apr 07

Issue: 2/2007

Feb 07

Issue: 1/2007

Special Issue on MEMOCODE 2004; Guest Editors: Constance Heitmeyer and Jean-Pierre Talpin

2006 (Volume 29 | 3 Issues)

Nov 06

Issue: 3/2006

Sep 06

Issue: 2/2006

Special Issue on Parallel and Distributed Databases; Guest Editors: Lubos Brim and Martin Leucker

Jul 06

Issue: 1/2006

2006 (Volume 28 | 3 Issues)

May 06

Issue: 3/2006

Mar 06

Issue: 2/2006

Special Issue on Formal Methods for Globally Asynchronous and Locally Synchronous (GALS) Systems

Jan 06

Issue: 1/2006

2005 (Volume 27 | 2 Issues)

Nov 05

Issue: 3/2005

Special Issue on Selected Papers from the Second International Workshop on Runtime Verification Held in Copenhagen, July 2002 (RV'02)

Sep 05

Issue: 1-2/2005

2005 (Volume 26 | 3 Issues)

May 05

2004 (Volume 25 | 2 Issues)

Sep 04

Issue: 2-3/2004

Software Model Checking

Jul 04

Issue: 1/2004

2004 (Volume 24 | 3 Issues)

May 04

2003 (Volume 23 | 3 Issues)

Nov 03

2003 (Volume 22 | 3 Issues)

May 03