The Undefined Domain: Precise Relational Information for Entities That Do Not Exist
From MaRDI portal
Publication:2937785
DOI10.1007/978-3-319-03542-0_6zbMath1426.68064MaRDI QIDQ2937785
Holger Siegel, Bogdan Mihaila, Axel Simon
Publication date: 12 January 2015
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-03542-0_6
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Cites Work