Thomas Lehmann

Affiliations:

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1993

OBSCURE: A Specification Language for Abstract Data Types.

[BibT_eX]

[DOI]

Acta Informatica, 1993

1990

Ein abstrakter Implementierungsbegriff für die Spezifikationssprache OBSCURE.

[BibT_eX]

[DOI]

PhD thesis, 1990

A Notion of Implementation for the Specification Language OBSCURE.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 1990

1987

The Specification Language of OBSCURE.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 1987