[ACM Press the ACM SIGPLAN 1997 conference - Las Vegas, Nevada, United States (1997.06.16-1997.06.18)] Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation - PLDI '97 - Automatic verification of pointer programs using monadic second-order logic
Jensen, Jakob L., Jørgensen, Michael E., Schwartzbach, Michael I., Klarlund, NilsYear:
1997
Language:
english
DOI:
10.1145/258915.258936
File:
PDF, 1.24 MB
english, 1997