krs85
"Anybody who comes to you and says he has a perfect language is either naïve or a salesman." -- Bjarne Stroustrup
krs85's Stars
gautammohan/hybrid-sectypes
A security typechecker for hybrid systems represented as EFSMs
"Anybody who comes to you and says he has a perfect language is either naïve or a salesman." -- Bjarne Stroustrup
A security typechecker for hybrid systems represented as EFSMs