Author of the publication

Algebraic Composition and Refinement of Proofs.

, and . AMAST, volume 1349 of Lecture Notes in Computer Science, page 494-508. Springer, (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Bounded-Horizon Success-Complete Restriction of Inference Programs.. ICLP, page 139-150. Uppsala University, (1984)Revised Report on the Algorithmic Language ALGOL 68, , , , , , , and . Acta Inf., (1975)Proof-oriented and applicative valuations in definitions of algorithms.. FPCA, page 155-162. ACM, (1981)Formal Derivation of Strongly Correct Concurrent Programs., and . Acta Inf., (1979)Algebraic Composition and Refinement of Proofs., and . AMAST, volume 1349 of Lecture Notes in Computer Science, page 494-508. Springer, (1997)The Scientific Engineering of Software.. ICSE, page 258. IEEE Computer Society / ACM Press, (1989)Suggestions for Composing and Specifying Program Design Decisions.. Symposium on Programming, volume 83 of Lecture Notes in Computer Science, page 311-326. Springer, (1980)Analysis of Dynamical Systems Using Predicate Transformers - Attraction and Composition., and . Analysis of Dynamical and Cognitive Systems, volume 888 of Lecture Notes in Computer Science, page 227-260. Springer, (1993)Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems.. MPC, volume 5133 of Lecture Notes in Computer Science, page 336-359. Springer, (2008)Endomorphic Typing.. Formal Program Development, volume 755 of Lecture Notes in Computer Science, page 305-323. Springer, (1993)