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

• Authors:

• Tom Whaley

• Affiliations:

• -

• Venue:
• SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
• Year:
• 1991