Structured Document Algebra in Action
From MaRDI portal
Publication:5256355
DOI10.1007/978-3-319-15545-6_19zbMath1454.68023MaRDI QIDQ5256355
Andreas Zelend, Dominik Köppl, Bernhard Möller, Peter Höfner, D. S. Batory
Publication date: 22 June 2015
Published in: Software, Services, and Systems (Search for Journal in Brave)
Full work available at URL: https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-587375
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Uses Software
Cites Work