Improving Predictability, Efficiency and Trust of Model-Based Proof Activity.

Jean-Frdric tienne, Manuel Maarek, Florent Anseaume, Vronique Delebarre

Browse the full ICSE paper archive.