International Workshop on Invariant Generation [WING 2007]

General Information

Conference Date: 25/06/2007 - 26/06/2007

Venue: RISC, Hagenberg, Austria