| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2005 | |
|---|---|---|
| 3 |      | David A. Burke, Kristofer Johannisson: Translating Formal Software Specifications to Natural Language. LACL 2005: 51-66 |
| 2002 | ||
| 2 | | Reiner Hähnle, Kristofer Johannisson, Aarne Ranta: An Authoring Tool for Informal and Formal Requirements Specifications. FASE 2002: 233-248 |
| 2000 | ||
| 1 | | Kristofer Johannisson: Formalizing the Halting Problem in a Constructive Type Theory. TYPES 2000: 145-159 |
| 1 | David A. Burke | [3] |
| 2 | Reiner Hähnle | [2] |
| 3 | Aarne Ranta | [2] |
Colors in the list of coauthors
Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page