Tan Yang Meng

1 book • 1 series

Nov 30, 1995
Cover of Formal Specification Techniques for Engineering Modular C Programs

Formal Specification Techniques for Engineering Modular C Programs (International Series in Software Engineering, #1)