-
3191
-
3192
-
3193
-
3194
-
3195
A specification-based approach to reasoning about pointers.
Published in Software engineering notes.Article -
3196
Non-null references by default in the Java modeling language.
Published in Software engineering notes.Article -
3197
-
3198
-
3199
-
3200