Personne

Régis William Blanc

Cette personne n’est plus à l’EPFL

Source officielle

https://people.epfl.ch/regis.blanc?lang=fr

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Régis William Blanc

Graph Chatbot

Verification by Reduction to Functional Programs

Sound reasoning about integral data types with a reusable SMT solver interface

Interpolation for Synthesis on Unbounded Domains

Verification by Reduction to Functional Programs

Sound reasoning about integral data types with a reusable SMT solver interface

Interpolation for Synthesis on Unbounded Domains