Login / Signup
Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis.
Francisco Ferreira
Sung-Shik Jongmans
Published in:
ISSTA (2023)
Keyphrases
</>
communication protocols
statistical analysis