Thomas Lehmann

Publication Activity (10 Years)

Years Active: 1987-1993
Publications (10 Years): 0

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Thomas Lehmann, Jacques Loeckx
OBSCURE: A Specification Language for Abstract Data Types. Acta Informatica 30 (4) (1993)
Thomas Lehmann
A Notion of Implementation for the Specification Language OBSCURE. ADT (1990)
Thomas Lehmann, Jacques Loeckx
The Specification Language of OBSCURE. ADT (1987)