Xavier Denis
1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Creusot: a foundry for the deductive verication of rust programs
Xavier Denis and others (2022) · ICFEM 2022 - 23th International Conference on Formal Engineering Methods, Lecture Notes in Computer Science, Madrid, Spain, October 2022