| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2007 | |
|---|---|---|
| 2 |      | Oleg Mürk, Daniel Larsson, Reiner Hähnle: KeY-C: A Tool for Verification of C Programs. CADE 2007: 385-390 |
| 2006 | ||
| 1 | | Oleg Mürk, Jevgeni Kabanov: Aranea: web framework construction and integration kit. PPPJ 2006: 163-172 |
| 1 | Reiner Hähnle | [2] |
| 2 | Jevgeni Kabanov | [1] |
| 3 | Daniel Larsson | [2] |
Colors in the list of coauthors
Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page