Matches in DBpedia 2014 for { ?s ?p Augusto Cezar Alves Sampaio is a Brazilian computer scientist who works with formal methods and language semantics. He did his PhD under the supervision of Tony Hoare at Oxford (1993) and is a professor at Federal University of Pernambuco (UFPE). His main contributations are in the area of model transformations and automatic generation of test from formal models.. }
Showing items 1 to 2 of
2
with 100 items per page.
- Augusto_Sampaio_(computer_scientist) abstract "Augusto Cezar Alves Sampaio is a Brazilian computer scientist who works with formal methods and language semantics. He did his PhD under the supervision of Tony Hoare at Oxford (1993) and is a professor at Federal University of Pernambuco (UFPE). His main contributations are in the area of model transformations and automatic generation of test from formal models.".
- Augusto_Sampaio_(computer_scientist) comment "Augusto Cezar Alves Sampaio is a Brazilian computer scientist who works with formal methods and language semantics. He did his PhD under the supervision of Tony Hoare at Oxford (1993) and is a professor at Federal University of Pernambuco (UFPE). His main contributations are in the area of model transformations and automatic generation of test from formal models.".