Alex Hixon is an author at Data61 specializing in formal specification, formal methods, and system software.
Top concepts
EngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationComputer Engineering
Publications per year
2016–2016
1
1
Sidney Amani, Alex Hixon, Zilin Chen et al. · 2016 · 67 citations · Full text
Rows per page
1–1 of 1