Tan, Y. M. (1996). Formal specification techniques for engineering modular C programs. Kluwer Academic Publishers.
Chicago Style (17th ed.) CitationTan, Yang Meng. Formal Specification Techniques for Engineering Modular C Programs. Boston: Kluwer Academic Publishers, 1996.
MLA (9th ed.) CitationTan, Yang Meng. Formal Specification Techniques for Engineering Modular C Programs. Kluwer Academic Publishers, 1996.
Warning: These citations may not always be 100% accurate.