Theoretical and practical approaches to the denotational semantics for MDESL based on UTP

From MaRDI portal
Publication:2198135