( en | de | ru )

 

Disambiguation of "Woodcock, Jim"

Author of the publication

copydeleteadd this publication to your clipboard
A UTP semantics for Circus.

, , and . Formal Asp. Comput., 21 (1-2): 3-32 (2009)

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.

Dan Woodcock

jim halo

Jim Wilenius

Jim Kallarackal

Jim Tsen

 

Other publications of authors with the same name

FDR Explorer, and . Electron. Notes Theor. Comput. Sci., (2007)Unifying theories of reactive design contracts., , , , and . Theor. Comput. Sci., (2020)Using VDM with Rely and Guarantee-Conditions - Experiences from a Real Project., and . VDM Europe, volume 328 of Lecture Notes in Computer Science, page 434-458. Springer, (1988)Hoare and He's Unifying Theories of Programming.. Theories of Programming, volume 39 of ACM Books, ACM / Morgan & Claypool, (2021)UTP, Circus, and Isabelle., , , , , and . Theories of Programming and Formal Methods, volume 14080 of Lecture Notes in Computer Science, page 19-51. Springer, (2023)Formally Verified Animation for RoboChart using Interaction Trees., , and . CoRR, (2023)Probabilistic relations for modelling epistemic and aleatoric uncertainty: its semantics and automated reasoning with theorem proving., , and . CoRR, (2023)A Manifesto for Applicable Formal Methods., , and . CoRR, (2021)Mechanising Mondex with Z/Eves., and . Formal Aspects Comput., 20 (1): 117-139 (2008)Editorial., , and . Formal Aspects Comput., 23 (5): 585-588 (2011)