Decision Procedures for the Formal Analysis of Software.

David Dharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen

Browse the full ICTAC paper archive.