Theoretical Aspects of Computing – ICTAC 2016 More Books by Augusto Sampaio & Farn Wang

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
Testing Techniques in Software Engineering Testing Techniques in Software Engineering
Testing Techniques in Software Engineering
2010