Laboratoire Méthodes Formelles (LMF)
… behavior change Philippe Dague 21/03/2024 Journal of Theoretical Biology Cerise: Program verification on a capability … Proceedings in Informatics, LIPIcs Quantum Circuit Completeness: Extensions and Simplifications Alexandre Clément, Renaud Vilmart …Article publié le: mer 20/09/2023 - 07:25