-
1781
-
1782
-
1783
A specification-based approach to reasoning about pointers.
Published in Software engineering notes.Article -
1784
Non-null references by default in the Java modeling language.
Published in Software engineering notes.Article -
1785
-
1786
-
1787
-
1788
-
1789
-
1790