Tan Yang Meng

• Formal Specification Techniques for Engineering Modular C Programs