Laboratoire Méthodes Formelles (LMF)
… Laboratoire Méthodes Formelles (LMF) Laboratoire Méthodes Formelles (LMF) ENS Paris-Saclay CentraleSupélec CNRS Inria … Bordais, Patricia Bouyer, Stéphane Le Roux 02/01/24 Leibniz International Proceedings in Informatics, LIPIcs Quantum …Published on: Wed 20/09/2023 - 07:25