Skip to content

Using VDM to specify managed object relationships.

Lynn S. Marshall, Linda Simon

VenueCFORTE
Year1992
ProceedingsFORTE

Browse the full FORTE paper archive.