2005 | ||
---|---|---|
3 | EE | David A. Burke, Kristofer Johannisson: Translating Formal Software Specifications to Natural Language. LACL 2005: 51-66 |
2002 | ||
2 | EE | Reiner Hähnle, Kristofer Johannisson, Aarne Ranta: An Authoring Tool for Informal and Formal Requirements Specifications. FASE 2002: 233-248 |
2000 | ||
1 | EE | 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] |