( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Laws of Programming.

, , , , , , , , и . Commun. ACM, 30 (8): 672-686 (1987)Corrigendum: CACM 30(9): 770 (1987).

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.

Mary Carroll

Rebecca Carroll

John Carroll

Joseph Carroll

Morgan Chopin

 

Другие публикации лиц с тем же именем

Abstract Channels and Their Robust Information-Leakage Ordering., , , , и . POST, том 8414 из Lecture Notes in Computer Science, стр. 83-102. Springer, (2014)Elementary Probability Theory in the Eindhoven Style.. MPC, том 7342 из Lecture Notes in Computer Science, стр. 48-73. Springer, (2012)The Shadow Knows: Refinement of Ignorance in Sequential Programs.. MPC, том 4014 из Lecture Notes in Computer Science, стр. 359-378. Springer, (2006)(In-)Formal Methods: The Lost Art - A Users' Manual.. SETSS, том 9506 из Lecture Notes in Computer Science, стр. 1-79. Springer, (2014)Programming-Logic Analysis of Fault Tolerance: Expected Performance of Self-stabilisation., и . RODIN Book, том 4157 из Lecture Notes in Computer Science, стр. 288-305. Springer, (2006)Abstraction, Refinement and Proof for Probabilistic Systems, и . Monographs in Computer Science Springer, (2005)An Iterator Construct for the Refinement Calculus., и . IWFM, BCS, (2000)Exits in the refinement calculus, и . Formal Aspects of Computing, V7 (1): 54--76 (января 1995)A single complete rule for data refinement, и . Formal Aspects of Computing, 5 (4): 367--382 (июля 1993)How to Develop an Intuition for Risk... and Other Invisible Phenomena (Invited Talk)., , и . CSL, том 216 из LIPIcs, стр. 2:1-2:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)