-
3951
-
3952
A specification-based approach to reasoning about pointers.
Published in Software engineering notes.Article -
3953
-
3954
-
3955
-
3956
-
3957
-
3958
-
3959
-
3960