Skip to content

Using VDM to Specify OSI Managed Objects.

Linda Simon, Lynn S. Marshall

VenueCFORTE
Year1991
ProceedingsFORTE

Browse the full FORTE paper archive.