Programming Languages and Systems
From MaRDI portal
Publication:5899021
DOI10.1007/11693024zbMath1178.68153MaRDI QIDQ5899021
Sumit Gulwani, Ashish Kumar Tiwari
Publication date: 2 May 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11693024
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Elimination Techniques for Program Analysis, Generating invariants for non-linear loops by linear algebraic methods, Verifying Whiley programs with Boogie, Combining Model Checking and Data-Flow Analysis, Invariant Checking for Programs with Procedure Calls, Combining Equational Reasoning