Augusto Sampaio · 7 obras en el catálogoObrasUnifying Theories of ProgrammingTheoretical Aspects of Computing – ICTAC 2016RRefinement Techniques in Software EngineeringRefinement Techniques in Software EngineeringTTheoretical Aspects of Computing - ICTAC 2016Theoretical Aspects of Computing - ICTAC 2016TTesting Techniques in Software EngineeringTesting Techniques in Software EngineeringAAlgebraic Approach to Compiler DesignAlgebraic Approach to Compiler DesignAn Algebraic Approach to Compiler Design
