Login / Signup
Eduard Diepstraten
Publication Activity (10 Years)
Years Active: 1989-1989
Publications (10 Years): 0
</>
Publications
</>
Eduard Diepstraten
,
Ruurd Kuiper
Abadi & Lamport and Stark: towards a Proof Theory for Stuttering, Dense Domains and Refinement Mappings.
REX Workshop
(1989)