Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/b96393zbMath1126.68358OpenAlexW4299869287MaRDI QIDQ5308413

David Wagner, Zhendong Su

Publication date: 28 September 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b96393

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Improving the results of program analysis by abstract interpretation beyond the decreasing sequence ⋮ A class of polynomially solvable range constraints for interval analysis without widenings

This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems