Search - List of Books by John Fitzgerald
John S. Fitzgerald (born 1965) is a British computer scientist and Chair of Formal Methods Europe. He is a Reader in the School of Computing Science at Newcastle University, UK, where he works as a member of theCentre for Software Reliability. His research interests are in the area of dependable computer systems and formal methods, with a background in the VDM. He is a committee member of BCS-FACS.
Total Books: 64