The Bernays-Schoenfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates
15 octobre 2020Mots clés : complexity decision procedures proof separation logic
Informations
- Nicolas Peltier
- 24 novembre 2020 09:05
- Colloque
- Anglais
Nous utilisons des cookies pour personnaliser l’affichage (barre de menu de droite, mode sombre ou dyslexie etc.), gérer la session (authentification) et analyser le trafic du site (pour certaines instances).
Commentaire(s)