Skip to main content

Formally Reasoning About Quality

Shaull Almagor‚ Udi Boker and Orna Kupferman

Journal
J. ACM
Number
3
Pages
24:1–24:56
Volume
63
Year
2016