( en | de | ru )

 

Disambiguierung von "Reeves, Steve"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Logic for the Schema Calculus.

, und . ZUM, Volume 1493 von Lecture Notes in Computer Science, Seite 172-191. Springer, (1998)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Galen Reeves

Stuart Reeves

Steve Völler

Steve Tonah

Steve Blechschmidt

 

Weitere Publikationen von Autoren mit dem selben Namen

Necessary and Possible Set Reconciliation and Unification in Semantic Tableau Systems (Extended Abstract)., und . TABLEAUX, Seite 37-39. (1992)A Simplified Z Semantics for Presentation Interaction Models., und . FM, Volume 8442 von Lecture Notes in Computer Science, Seite 148-162. Springer, (2014)Editorial., , , , und . Log. J. IGPL, 3 (6): 826 (1995)Generating Obligations, Assertions and Tests from UI Models., und . Proc. ACM Hum. Comput. Interact., 1 (EICS): 5:1-5:18 (2017)Using State Machines for the Visualisation of Specifications via Refinement., und . ASWEC (2), Seite 106-110. ACM, (2015)Formal Modelling of Safety-Critical Interactive Devices Using Coloured Petri Nets., , und . FM Workshops (1), Volume 12232 von Lecture Notes in Computer Science, Seite 465-485. Springer, (2019)Engineering Interactive Systems with Model-Driven Code Contracts., und . ASWEC, Seite 11-20. IEEE Computer Society, (2018)Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts (Short Paper)., , und . FMBC@CAV, Volume 95 von OASIcs, Seite 3:1-3:8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)μ-Charts and Z: Hows, Whys, and Wherefores, und . (2000a)Logic and refinement for charts, und . ACSC '06: Proceedings of the 29th Australasian Computer Science Conference, Seite 13--23. Darlinghurst, Australia, Australia, Australian Computer Society, Inc., (2006)