2
Publications
133
Citations
2
H-Index
2002
Active since
Affiliations
Universidade Federal de Pernambuco(Current)
Augusto Sampaio is an author at Universidade Federal de Pernambuco specializing in automated reasoning, formal verification, and systems engineering.
Top concepts
TheatreEngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningFormal VerificationSystems Engineering
Publications per year
2002–2003
2
2
A Refinement Strategy for <i>Circus</i>
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock · Formal Aspects of Computing · 2003 · 114 citations · Full text
Rows per page
1–2 of 2