( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Idioms for ^I¼-charts

, , и . стр. 224--231. (2001)
DOI: 10.1109/ASWEC.2001.948516

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.

Galen Reeves

Stuart Reeves

Steve Völler

Steve Tonah

Steve Blechschmidt

 

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

Necessary and Possible Set Reconciliation and Unification in Semantic Tableau Systems (Extended Abstract)., и . TABLEAUX, стр. 37-39. (1992)Editorial., , , , и . Logic Journal of the IGPL, 3 (6): 826 (1995)Logic and refinement for charts, и . ACSC '06: Proceedings of the 29th Australasian Computer Science Conference, стр. 13--23. Darlinghurst, Australia, Australia, Australian Computer Society, Inc., (2006)μ-Charts and Z: Hows, Whys, and Wherefores, и . (2000a)A Review of Several Programs for the Teaching of Logic., , и . Comput. J., 36 (4): 373-386 (1993)Editorial., , , и . Formal Asp. Comput., 24 (1): 1 (2012)Generating Obligations, Assertions and Tests from UI Models., и . Proc. ACM Hum. Comput. Interact., 1 (EICS): 5:1-5:18 (2017)Using State Machines for the Visualisation of Specifications via Refinement., и . ASWEC (2), стр. 106-110. ACM, (2015)Formal Modelling of Safety-Critical Interactive Devices Using Coloured Petri Nets., , и . FM Workshops (1), том 12232 из Lecture Notes in Computer Science, стр. 465-485. Springer, (2019)Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts (Short Paper)., , и . FMBC@CAV, том 95 из OASIcs, стр. 3:1-3:8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)