Necessary and Sufficient Preconditions via Eager Abstraction
Mohamed Nassim Seghir and Peter Schrammel
Book Title
Programming Languages and Systems‚ APLAS 2014
Pages
236–254
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
8858
Year
2014