Leonardo Alt is an author at Meta (United Kingdom) specializing in information security, formal methods, and formal specification.
Top concepts
EngineeringVerificationData SecurityFormal MethodsSmart ContractsSoftware DesignComputer ScienceProgram AnalysisSoftware AnalysisAutomated Reasoning
Publications per year
2022–2022
1
1
Rows per page
1–1 of 1