Sergey Mazo is an author at University of Coimbra specializing in formal verification, engineering, and computer engineering.
Top concepts
SecurityEngineeringCryptographyData SecurityControl SystemsComputer ScienceNetwork SecurityFormal VerificationSystems EngineeringComputer Engineering
Publications per year
2019–2019
1
1
Rows per page
1–1 of 1