Thomas Lehmann

According to our database1, Thomas Lehmann authored at least 4 papers between 1987 and 1993.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1993
OBSCURE: A Specification Language for Abstract Data Types.
Acta Inf., 1993

1990
Ein abstrakter Implementierungsbegriff für die Spezifikationssprache OBSCURE.
PhD thesis, 1990

A Notion of Implementation for the Specification Language OBSCURE.
Proceedings of the Recent Trends in Data Type Specification, 1990

1987
The Specification Language of OBSCURE.
Proceedings of the Recent Trends in Data Type Specification, 1987


  Loading...