Computer Logic, Testing, and Verification
Publisher: Springer
Published: Jul 11, 1983
ISBN-13: 9783540125822