Publication
-
November 1977 -
On the construction and analysis of stable numerical methods for stiff and parabolic differential equations Dissertation
Modelling, Analysis and ComputationNovember 1977 -
January 1978
-
January 1978
-
January 1978
-
Guidelines for software portability Article
Software: Practice and Experience, 681-698.January 1978
-
Recursive programs as predicate transformers In Proceedings
January 1978
-
January 1978