Dross, Claire, 1986-....
VIAF ID: 309909104 ( Personal )
Permalink: http://viaf.org/viaf/309909104
Preferred Forms
Works
Title | Sources |
---|---|
Procédures de décision génériques pour des théories axiomatiques du premier ordre | |
Vérification déductive de programmes Rust. |