Kristofer Johannisson
According to our database1,
Kristofer Johannisson
authored at least 4 papers
between 2000 and 2007.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2007
Proceedings of the Verification of Object-Oriented Software. The KeY Approach, 2007
2005
Proceedings of the Logical Aspects of Computational Linguistics, 2005
2002
Proceedings of the Fundamental Approaches to Software Engineering, 2002
2000
Proceedings of the Types for Proofs and Programs, International Workshop, 2000