| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| 5 |      | Daniel Larsson, Håkan Bertilsson, Robert Feldt: Challenges and Solutions in Test Staff Relocations within a Software Consultancy Company. ICST 2008: 423-431 |
| 2007 | ||
| 4 | | Oleg Mürk, Daniel Larsson, Reiner Hähnle: KeY-C: A Tool for Verification of C Programs. CADE 2007: 385-390 |
| 3 | | Daniel Larsson, Reiner Hähnle: Symbolic Fault Injection. VERIFY 2007 |
| 2005 | ||
| 2 | | Martin Giese, Daniel Larsson: Simplifying Transformations of OCL Constraints. MoDELS 2005: 309-323 |
| 2004 | ||
| 1 | | Daniel Larsson, Wojciech Mostowski: Specifying JAVA CARD API in OCL. Electr. Notes Theor. Comput. Sci. 102: 3-19 (2004) |
| 1 | Håkan Bertilsson | [5] |
| 2 | Robert Feldt | [5] |
| 3 | Martin Giese | [2] |
| 4 | Reiner Hähnle | [3] [4] |
| 5 | Wojciech Mostowski | [1] |
| 6 | Oleg Mürk | [4] |
Colors in the list of coauthors
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page