Severity Levels of Inconsistent Code
From MaRDI portal
Publication:3460549
DOI10.1007/978-3-319-24953-7_8zbMath1471.68078MaRDI QIDQ3460549
Martin Schäf, Ashish Kumar Tiwari
Publication date: 8 January 2016
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-24953-7_8
68N99: Theory of software
Uses Software