| Titel | ISBN-13 (ISBN-10) | Erscheinungsjahr |
|---|---|---|
| Extending KeY for the Verification of C Programs: The Development of a Prototype | 978-3-639-OOOO2-3 (3-639-OOOO2-1) | 2008 |
C. G. · Christa Glatz · Christian Gillitzer · Christian Glatzel · Christian Goldschmidt · Christian Goldstern · Christian Goltz · Christiane Gelitz · Christopher Goldston · Christopher Guilds