Programming Phase: Formal Methods

Research output: Chapter in Book/Report/Conference proceeding › Entry for encyclopedia/dictionary

Original language	English
Title of host publication	Encyclopedia of Software Engineering
Publisher	Taylor & Francis
Pages	772-785
Number of pages	14
ISBN (Print)	978-1-4200-5977-9
Publication status	Published - 2010

Access to Document

@inbook{3d95024f83c0438b96ae93a03ace5670,

title = "Programming Phase: Formal Methods",

author = "Paige, {Richard F.} and Jim Woodcock and Brooke, {Phillip J.} and Ana Cavalcanti",

year = "2010",

language = "English",

isbn = "978-1-4200-5977-9",

pages = "772--785",

booktitle = "Encyclopedia of Software Engineering",

publisher = "Taylor & Francis",

address = "United Kingdom",

}