Gillian Ann Foard

Systems Construction and Analysis: A Mathematical and Logical Framework (McGraw-Hill International Series in Software Engineering)

By Fenton, Norman E., Hill, Gillian Ann Foard