dblp.uni-trier.dewww.uni-trier.de

Kristofer Johannisson

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
3EEDavid A. Burke, Kristofer Johannisson: Translating Formal Software Specifications to Natural Language. LACL 2005: 51-66
2002
2EEReiner Hähnle, Kristofer Johannisson, Aarne Ranta: An Authoring Tool for Informal and Formal Requirements Specifications. FASE 2002: 233-248
2000
1EEKristofer Johannisson: Formalizing the Halting Problem in a Constructive Type Theory. TYPES 2000: 145-159

Coauthor Index

1David A. Burke [3]
2Reiner Hähnle [2]
3Aarne Ranta [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)