Techniques de Simulation et de Preuve Formelle (simulation Techniques And Formal Methods)
tspf