Limitations of Formal Methods and an Approach to Improvement.

Shaoying Liu, Rolf Adams

Browse the full APSEC paper archive.