What’s New
IMDEA Software
Talk by Mooly Sagiv: Deductive verification of distributed protocols in first-order logic
12 Jun 2019
Read More trending_flat
IMDEA Software
Deductive verification of distributed protocols in first-order logic
12 Jun 2019
Read More trending_flat

