: An Axiomatic Basis for Computer Programming (Reprint).
: Viewpoint - Retrospective: an axiomatic basis for computer programming.
: Parallel Programming: An Axiomatic Approach.
: Parallel programming: an axiomatic approach.
: An axiomatic definition of the programming language PASCAL.
: An Axiomatic Definition of the Programming Language PASCAL
: The role of programming in a Ph.D. computer science program.
: Fen-An Axiomatic Basis for Program Semantics.
: Procedures and parameters: An axiomatic approach.
: A comment on axiomatic approaches to programming.
(search: 0.242 sec. - facets: 0.757 sec.- similarity: 1.00 sec)