Formal Specification Techniques for Engineering Modular C Programs

Bok av Yang Meng Tan