Translated title of the contribution | The role of formal methods in software engineering education and industry |
---|---|
Original language | English |
Pages (from-to) | 98 - 105 |
Journal | Proceeding of the 4th Software Quality Conference, University of Abertay, Dundee |
Publication status | Published - 1995 |
The role of formal methods in software engineering education and industry
CJ Burgess
Research output: Contribution to journal › Article (Academic Journal) › peer-review