Skip to content

The Passau RAP System: Rapid Prototyping for Algebraic Specifications.

Heinrich Humann

VenueASTACS
Year1987
ProceedingsSTACS

Browse the full STACS paper archive.