Martin Kronegger is an author at TU Wien specializing in computer engineering, computer science, and formal methods.
Top concepts
EngineeringFormal MethodsSatisfiabilityComputer ScienceProgram AnalysisAutomated ReasoningFormal VerificationSystems EngineeringComputer EngineeringArtificial Intelligence
Publications per year
2013–2016
2
2
Rows per page
1–2 of 2