Oskar Wickström is an author at University of Edinburgh specializing in formal verification, software engineering, and formal specification.
Top concepts
EngineeringVerificationFormal MethodsTest AutomationComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningFormal Verification
Publications per year
2022–2022
1
1
Rows per page
1–1 of 1