What’s New
IMDEA Software
Talk by Michael Greenberg: Executable Formal Semantics for the POSIX Shell
09 Jun 2020
Read More trending_flat
IMDEA Software
Talk by Stefania Dumbrava: Mechanically Verified Graph Query Processing
09 Jun 2020
Read More trending_flat

