-
1061
-
1062
-
1063
-
1064
-
1065
-
1066
A specification-based approach to reasoning about pointers.
Published in Software engineering notes.Article -
1067
-
1068
-
1069
-
1070