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, … Proceedings in Informatics, LIPIcs Lien vers le site web du labo https://lmf.cnrs.fr Description Le Laboratoire …Published on: