Published in
Open Publishing Association, Electronic Proceedings in Theoretical Computer Science, (105), p. 22-38, 2012
DOI: 10.4204/eptcs.105.3
Links
Tools
Generating Property-Directed Potential Invariants By Backward Analysis
This paper is made freely available by the publisher.
Full text: Download
Data provided by 