Augusto Sampaio

• An Algebraic Approach to Compiler Design
• Theoretical Aspects of Computing – ICTAC 2016
• Unifying Theories of Programming
• Algebraic Approach to Compiler Design
• Refinement Techniques in Software Engineering
• Testing Techniques in Software Engineering
• Theoretical Aspects of Computing - ICTAC 2016