| dc.contributor.author | Johannisson, Kristofer | en |
| dc.date.accessioned | 2008-08-11T10:27:14Z | |
| dc.date.available | 2008-08-11T10:27:14Z | |
| dc.date.issued | 2005 | en |
| dc.identifier.uri | http://hdl.handle.net/2077/16548 | |
| dc.title | Formal and Informal Software Specifications | en |
| dc.type | Text | en |
| dc.type.svep | Doctoral thesis | en |
| dc.gup.origin | Göteborgs universitet/University of Gothenburg | eng |
| dc.gup.department | Department of Computer Science and Engineering | eng |
| dc.gup.department | Data- och informationsteknik | swe |
| dc.gup.defenceplace | Sal HC2, Hörsalsvägen 14, Göteborg, kl 14.15 | en |
| dc.gup.defencedate | 2005-06-01 | en |
| dc.gup.dissdbid | 6500 | en |
| dc.gup.dissdb-fakultet | ITF | |
