Yang Meng Tan

Formal Specification Techniques for Engineering Modular C Programs