Automated Validation of Distributed Software Using the IF Environment.

Marius Bozga, Susanne Graf, Laurent Mounier

Browse the full NCA paper archive.