Jan Vytopil is an author at Utrecht University specializing in formal verification, system software, and engineering.
Top concepts
AutomationEngineeringFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisReal-time SystemsFormal VerificationSystems EngineeringComputer Engineering
Publications per year
1983–1983
1
1
Rows per page
1–1 of 1