DOI10.1007/11823230_6zbMath1225.68074OpenAlexW2913589973MaRDI QIDQ3613379
Rupak Majumdar, Ranjit Jhala, Ru-Gang Xu
Publication date: 12 March 2009 Published in: Static Analysis (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/11823230_6
Mathematics Subject Classification ID
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)