Formal Specification Techniques for Engineering Modular C Programs
Publisher: Springer
Published: Oct 09, 2011
Format: paperback
Number of pages: 232
ISBN-13: 9781461541264