Patrick Cousot & Radhia Cousot.
Abstract Testing versus Model Checking.
Schloss Ringberg
Seminar: Model Checking and Program Analysis
, Sunday 20 February 2000 Panel Discussion, 16h00-18h30.
Résumé/Abstract:
Transparents de l'exposé (10mn) au format
PDF
pour
Acrobate reader
.