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.