Stepwise Specification and Implementation of Abstract Data Types.

Hartmut Ehrig, Hans-Jrg Kreowski, Peter Padawitz

Browse the full ICALP paper archive.