Relative Store Fragments for Singleton Abstraction

DOI10.1007/978-3-319-66706-5_6zbMath1420.68067OpenAlexW2747820618MaRDI QIDQ5233240

Leandro Facchinetti, Scott F. Smith, Zachary Palmer

Publication date: 16 September 2019

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-66706-5_6

Mathematics Subject Classification ID

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

This page was built for publication: Relative Store Fragments for Singleton Abstraction