Skip to content

Equational Specification of Dynamic Objects.

Roel J. Wieringa

VenueBDS
Year1990
ProceedingsDS-4

Browse the full DS paper archive.