Modal Design Algebra
From MaRDI portal
Publication:5307485
DOI10.1007/11768173_14zbMath1186.68112MaRDI QIDQ5307485
Walter Guttmann, Bernhard Möller
Publication date: 14 September 2007
Published in: Unifying Theories of Programming (Search for Journal in Brave)
Full work available at URL: https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-359395
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items