Formal Specification and Verification of Software

Colin D. Walter, S. E. Eldridge

Research output: Chapter in Book/Report/Conference proceeding › Other contribution

Original language	Undefined/Unknown
Title of host publication	Concise Encyclopedia of Software Engineering
Editors	D. Morris, B. Tamm
Publisher	Pergamon Press
Pages	331-338
Number of pages	8
Publication status	Published - 1991

Access to Document

@inbook{ecbd93bd514440c7955a00adcc4e6e65,

title = "Formal Specification and Verification of Software",

author = "Walter, \{Colin D.\} and Eldridge, \{S. E.\}",

year = "1991",

language = "Undefined/Unknown",

pages = "331--338",

editor = "D. Morris and B. Tamm",

booktitle = "Concise Encyclopedia of Software Engineering",

publisher = "Pergamon Press",

}