Skip to content

Time Versus Abstraction in Formal Description.

Howard Bowman, Gordon S. Blair, Lynne Blair, Amanda G. Chetwynd

VenueCFORTE
Year1993
ProceedingsFORTE

Browse the full FORTE paper archive.