Skip to content

On the Adequacy of Per Models.

Roberto M. Amadio

VenueBMFCS
Year1993
ProceedingsMFCS

Browse the full MFCS paper archive.