L.: What can You Verify and Enforce at Runtime (0)

by Y Falcone, J C Fernandez, Mounier