A framework for program verification in the context of...

ACM SIGCSE Bulletin 1991 / 03 Vol. 23; Iss. 1

A framework for program verification in the context of linked structures and pointer variables

Whaley, Tom
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
23
Language:
english
Journal:
ACM SIGCSE Bulletin
DOI:
10.1145/107005.107027
Date:
March, 1991
File:
PDF, 426 KB
english, 1991
Conversion to is in progress
Conversion to is failed