Wendlasida Ouedraogo starts his PhD theses in formal method, co-supervised with Lutz Strassburger

https://www.lix.polytechnique.fr/Labo/Wendlasida_Tertius.OUEDRAOGO/

Comment here: @danko@mamot.fr Follow using the Fediverse ID: @danko@blog.iaddg.net