Formal and Informal Software Specifications
Universitet
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
Datum för disputation
2005-06-01
Fil(er)
Datum
2005Författare
Johannisson, Kristofer
Publikationstyp
Doctoral thesis