[ACM Press the twenty-second SIGCSE technical symposium - San Antonio, Texas, United States (1991.03.07-1991.03.08)] Proceedings of the twenty-second SIGCSE technical symposium on Computer science education - SIGCSE '91 - A framework for program verification in the context of linked structures and pointer variables
Whaley, TomYear:
1991
Language:
english
DOI:
10.1145/107004.107027
File:
PDF, 426 KB
english, 1991