William Steingartner

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 13

Top Topics

Dagstuhl Castle

Operational Semantics

Abstract Machine

Selected Papers

Top Venues

ADBIS (Short Papers)

Central Eur. J. Comput. Sci.

Comput. Informatics

Publications