( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Integration of generic program analysis tools into a software development environment.

, , и . ACSC, том 38 из CRPIT, стр. 249-258. Australian Computer Society, (2005)

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.

Ian J Elmer

David Hayes

Zachary Hayes

Barry Hayes

Egbert Hayessen

 

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

Some remarks on Ämbiguous Machine Architecture".. SIGARCH Comput. Archit. News, 6 (8): 23-24 (1978)Towards an Algebra for Real-Time Programs., , , и . RAMiCS, том 7560 из Lecture Notes in Computer Science, стр. 50-65. Springer, (2012)Specification Directed Module Testing.. IEEE Trans. Software Eng., 12 (1): 124-133 (1986)Encoding fairness in a synchronous concurrent program algebra: extended version with proofs., и . CoRR, (2018)Continuous Action System Refinement., и . MPC, том 4014 из Lecture Notes in Computer Science, стр. 316-337. Springer, (2006)Refining Specifications to Logic Programs., , и . LOPSTR, том 1207 из Lecture Notes in Computer Science, стр. 1-19. Springer, (1996)Model-Driven Web Form Validation with UML and OCL., , , и . ICWE Workshops, том 7059 из Lecture Notes in Computer Science, стр. 223-235. Springer, (2011)Deriving Laws for Developing Concurrent Programs in a Rely-Guarantee Style., , и . CoRR, (2021)Differential Testing of a Verification Framework for Compiler Optimizations (Experience Paper)., , и . CoRR, (2022)Supporting Module Reuse in Refinement.. Sci. Comput. Program., 27 (2): 175-184 (1996)