Skip to content

On a Mereological System for Relational Software Specifications.

Ryszard Janicki

VenueBMFCS
Year2002
ProceedingsMFCS

Browse the full MFCS paper archive.