TAMÁS KISPÉTER is an author at University of Cambridge specializing in engineering, formal methods, and computational complexity.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningFunctional AnalysisComputational Complexity
Publications per year
2016–2016
1
1
Rows per page
1–1 of 1