Augusto Sampaio

Books
The Application of Formal Methods The Application of Formal Methods
The Application of Formal Methods
2024
Unifying Theories of Programming Unifying Theories of Programming
Unifying Theories of Programming
2019
Theoretical Aspects of Computing – ICTAC 2016 Theoretical Aspects of Computing – ICTAC 2016
Theoretical Aspects of Computing – ICTAC 2016
2016
Testing Techniques in Software Engineering Testing Techniques in Software Engineering
Testing Techniques in Software Engineering
2010