[ACM Press The proceedings of the thirteenth design automation conference - San Francisco, California, United States (1976.06.28-1976.06.30)] The proceedings of the thirteenth design automation conference on Design automation - DAC '76, NO. 13 - An approach to program verification

✍ Scribed by Yeh, Raymond T.

• Book ID: 121453556
• Publisher: ACM Press
• Year: 1976
• Weight: 478 KB
• Category: Article
• DOI: 10.1145/800146.804828