Kristofer Johannisson

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- 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

	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

Coauthor Index

1 David A. Burke [3]

2 Reiner Hähnle [2]

3 Aarne Ranta [2]

Colors in the list of coauthors