Implementation of Parameterised Specifications (Extended Abstract).

Donald Sannella, Martin Wirsing

Browse the full ICALP paper archive.