( en | de | ru )

 

Disambiguation of "Hayes, Ian J."

Author of the publication

copydeleteadd this publication to your clipboard
A Program Refinement Tool.

, , , , and . Formal Asp. Comput., 10 (2): 97-124 (1998)

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.

Ian J Elmer

David Hayes

Zachary Hayes

Barry Hayes

Egbert Hayessen

 

Other publications of authors with the same name

Signalling System No.7, The Network Layer., , and . PSTV, page 3-14. North-Holland, (1989)Calculating modules in contextual logic program refinement, , and . CoRR, (2006)Deriving Specifications of Control Programs for Cyber Physical Systems., , and . Comput. J., 63 (5): 774-790 (2020)Engineering a Theory of Concurrent Programming.. ICFEM, volume 11232 of Lecture Notes in Computer Science, page 3-18. Springer, (2018)A Set-Theoretic Model for Real-Time Specification and Reasoning., , , and . MPC, volume 1422 of Lecture Notes in Computer Science, page 188-206. Springer, (1998)Integrated Operational Semantics: Small-Step, Big-Step and Multi-step., and . ABZ, volume 7316 of Lecture Notes in Computer Science, page 21-35. Springer, (2012)Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe.. UTP, volume 4010 of Lecture Notes in Computer Science, page 141-154. Springer, (2006)Are Formal Methods Relevant?, , , and . APSEC, page 513. IEEE Computer Society, (1995)Translating Refined Logic Programs to Mercury., , , and . ACSC, volume 4 of CRPIT, page 33-40. Australian Computer Society, (2002)Refining Object-Oriented Invariants and Dynamic Constraints., and . APSEC, page 52-. IEEE Computer Society, (2002)