Media type: E-Book; Conference Proceedings Title: WING 2010 : Workshop on Invariant Generation 2010 Contributor: Voronokov, Andrei [HerausgeberIn]; Kovács, Laura [HerausgeberIn]; Bjorner, Nikolaj [HerausgeberIn] imprint: [Manchester]: EasyChair, June 22, 2012 Published in: EPiC series in computing ; 1 Extent: 1 Online-Ressource; Illustrationen Language: English Keywords: Konferenzschrift Origination: Footnote: Laut Webseite des Workshops fand dieser dritte Workshop der Reihe am 21. Juli 2010 in Edinburgh im Rahmen der 5th International Joint Conference on Automated Reasoning (IJCAR) statt Literaturangaben Access State: Open Access