Tech Reports Home Contact
Technical Report Series
Browse Reports
Information for Authors
Contact Details

Technical Report HW-MACS-TR-0097

Title Contributions of the 4th International Workshop on Invariant Generation (WING 2012)
Authors Gudmund Grov and Thomas Wies
Date 2012-09-19
Abstract The 4th International Workshop on Invariant Generation (WING 2012) was held on June 30 2012 in Manchester (UK) as a satellite event of IJCAR 2012. The workshop consisted of two invited talks, one full paper and nine presentation-only talks. This report contains the full paper and all presentation-only abstracts presented at the workshop.
Group DSG
Email Technical Report's Administrator
|MACS Home| Top of the Page

Department of Computer Science, Heriot-Watt University, Riccarton, Edinburgh, EH14 4AS, +44 (0) 131 4514152

Last Updated: 02 September 2003 Copyright Heriot-Watt University, Disclaimer