Special issue: Invariant generation and advanced techniques for reasoning about loops. Selected papers based on the presentations at the 1st workshop of invariant generation (Wing 2007), Hagenburg, Austria, June 25‒26, 2007, and the 2nd workshop, (Wing 2009), York, UK, March 29, 2009. (English)
J. Symb. Comput. 45, No. 11, 1097-1249 (2010).
The articles of this volume will be reviewed individually.
Start
Contact
Print
General Help
