Specification of Object-Oriented Systems in LOTOS.

Thomas Mayr

Browse the full FORTE paper archive.