Formal specification techniques for engineering modular C programs /

Bibliographic Details

Main Author:	Tan, Yang Meng
Format:	Book
Language:	English
Published:	Boston : Kluwer Academic Publishers, [1996]
Series:	Kluwer international series in software engineering ; 1.
Subjects:	C (Computer program language) Software engineering.