Kristofer Johannisson

According to our database1, Kristofer Johannisson authored at least 4 papers between 2000 and 2007.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2007
Natural Language Specifications.
Proceedings of the Verification of Object-Oriented Software. The KeY Approach, 2007

2005
Translating Formal Software Specifications to Natural Language.
Proceedings of the Logical Aspects of Computational Linguistics, 2005

2002
An Authoring Tool for Informal and Formal Requirements Specifications.
Proceedings of the Fundamental Approaches to Software Engineering, 2002

2000
Formalizing the Halting Problem in a Constructive Type Theory.
Proceedings of the Types for Proofs and Programs, International Workshop, 2000


  Loading...