An Expert System for Automatic Codeing of Abstract Data Type Specifications.

H. Eigemeier, Christoph Knabe, Peter Raulefs, K. Tramer

Browse the full GI paper archive.