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