Piergiulio Katis is an author at The University of Sydney specializing in engineering, formal verification, and automated reasoning.
Top concepts
EngineeringLanguageSemanticsLinguisticsFormal MethodsProcess ControlSoftware DesignComputer ScienceSoftware AnalysisAutomated Reasoning
Publications per year
1997–2002
2
2
Rows per page
1–2 of 2