Open AccessDémonstration de Steel, une logique de séparation concurrente pour prouver des programmes F* (démonstration)
Author(s) -
Aymeric Fromherz,
Antonin Reitz
Publication year - 2022
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - French
Resource type - Conference proceedings
Subject(s) - computer science