LustreC

Avatar
Pierre-loic Garoche
Senior Research Scientist in Formal Verification