Author

Yang Meng Tan

2 books found

Cover of Formal Specification Techniques for Engineering Modular C Programs

Formal Specification Techniques for Engineering Modular C Programs

Tan Yang Meng · First published 2011

Cover of Formal Specification Techniques for Engineering Modular C Programs

Formal Specification Techniques for Engineering Modular C Programs

Yang Meng Tan · First published 1996