Login / Signup
Harald Würgers
Publication Activity (10 Years)
Years Active: 1981-1981
Publications (10 Years): 0
</>
Publications
</>
Harald Würgers
A Specification Technique Based on Predicate Transformers.
Acta Informatica
15 (1981)