The Role of Formal Methods in Software Engineering Education and Industry

C J Burgess

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

Translated title of the contribution	The Role of Formal Methods in Software Engineering Education and Industry
Original language	English
Title of host publication	Unknown
Publisher	University of Abertay Dundee
Pages	98 - 105
Number of pages	7
ISBN (Print)	1899796002
Publication status	Published - 1995

Conference Proceedings/Title of Journal: Proceedings of the 4th Software Quality Conference

Access to Document

@inproceedings{4965cc8d460c43398ab24f41849be3d2,

title = "The Role of Formal Methods in Software Engineering Education and Industry ",

author = "Burgess, {C J}",

note = "Conference Proceedings/Title of Journal: Proceedings of the 4th Software Quality Conference",

year = "1995",

language = "English",

isbn = "1899796002",

pages = "98 -- 105",

booktitle = "Unknown",

publisher = "University of Abertay Dundee",

}