1990
Report
Title

Partial models, subsorting and dependent types

Title Supplement
Prerequisites of error handling in algebraic specifications
Author(s)
Poigné, A.
Publisher
Publishing Place
Sankt Augustin
Language
English