Skip to content

MSL - A Mathematical Specification Language.

V. P. Makarov

Year1992
ProceedingsLFCS

Browse the full LFCS paper archive.