Sergey Ostroumov is an author at Åbo Akademi University specializing in formal specification, computer engineering, and formal methods.
Top concepts
EngineeringFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationSystems EngineeringComputer Engineering
Publications per year
2011–2011
1
1
Rows per page
1–1 of 1