You can use this page to email Eduardo Brito about Beginning Software Testing and Program Verification.
Please include an email address so the author can respond to your query
This message will be sent to Eduardo Brito
This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.
BSc in Informatics Engineering from Universidade do Minho, Braga, Portugal.
MSc in Informatics from Universidade do Minho, Braga, Portugal.
Enrolled in PhD.
Research interests in: Formal Methods, Program Verification, Concurrency.
Life interests: Budô.