PakCat catalogue record secraty toolkit in software engineering bandal a david By A bandal Bibliographic details Publication placecambridge university Editionfirstedition Material typeBook Physical descriptionxxxi 536p SubjectsComputer-Aided Software Engineering (CASE)