Formal Specification Techniques for Engineering Modular C ProgramsTan Yang Meng · First published 2011Open the Tome
Formal Specification Techniques for Engineering Modular C ProgramsYang Meng Tan · First published 1996Open the Tome