An Object-Oriented Airport: Specification and Refinement in Maude.

Ulrike Lechner, Christian Lengauer, Martin Wirsing

Browse the full COMPASS paper archive.