Assertion-based design
By: Harry Foster, Adam Krolnik, David Lacey.
Publisher: Kluwer Academic Pub.
Published: 2003
Place of publication: Boston, MA
Language: eng
Number of pages: 263