Bjorn De SutterMember is an author at Ghent University specializing in formal verification, compilers, and software systems.
Top concepts
CompilersEngineeringCryptographyData SecuritySystem SoftwareComputer ScienceProgram AnalysisSoftware SystemsHardware SecurityOperating Systems
Publications per year
2015–2015
1
1
Rows per page
1–1 of 1