Publication
-
The European UNIX network Tech Report
January 1983 -
January 1983
-
Another incompleteness theorem for Hoare's logic Tech Report
January 1983 -
PC-compactness, a necessary condition for the existence of sound and complete logics of partial correctness Tech Report
January 1983 -
January 1983
-
January 1983
-
January 1983
-
Making B-tress work for B Tech Report
January 1983