Formal and Informal Software Specifications
University
Göteborgs universitet/University of Gothenburg
Institution
Department of Computer Science and Engineering
Data- och informationsteknik
Disputation
Sal HC2, Hörsalsvägen 14, Göteborg, kl 14.15
Date of defence
2005-06-01
View/
Date
2005Author
Johannisson, Kristofer
Publication type
Doctoral thesis