( en | de | ru )

 

Disambiguation of "Back, Ralph-Johan"

Author of the publication

copydeleteadd this publication to your clipboard
Semantics and Data Refinement of Invariant Based Programs.

, and . Arch. Formal Proofs, (2010)Formal proof development.

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.

John Ralph

Peter Back

Artur Back

Rudolf Back

Birgit Bäck

 

Other publications of authors with the same name

Reasoning Algebraically about Loops., and . Acta Inf., 36 (4): 295-334 (1999)Fusion and Simultaneous Execution in the Refinement Calculus., and . Acta Inf., 35 (11): 921-949 (1998)Computational Heuristics for Simplifying a Biological Model., , and . CiE, volume 5635 of Lecture Notes in Computer Science, page 399-408. Springer, (2009)On Equivalence-Completions of Fairness Assumtions., , and . Formal Aspects Comput., 4 (6): 582-591 (1992)Superposition Refinement of Reactive Systems., and . Formal Aspects Comput., 8 (3): 324-346 (1996)Encoding, Decoding and Data Refinement., and . Formal Aspects Comput., 12 (5): 313-349 (2000)An algebraic treatment of procedure refinement to support mechanical verification., and . Formal Aspects Comput., 17 (1): 69-90 (2005)Invariant based programming: basic approach and teaching experiences.. Formal Aspects Comput., 21 (3): 227-244 (2009)Statement Inversion and Strongest Postcondition., and . Sci. Comput. Program., 20 (3): 223-251 (1993)Semantics and proof rules of invariant based programs., and . SAC, page 1658-1665. ACM, (2011)