Specifying ROSE in LOTOS.

David Freestone, Sukhvinder S. Aujla

Browse the full FORTE paper archive.