Joao F. Ferreira has asked 0
questions and find answers to 1
problems.
Stats
13 EtPoint
2 Vote count
0 questions
1 answers
About
Lecturer in Computer Science working at Teesside University, in England. My research is on mathematical approaches to software quality. I am particularly interested in program construction and verification.
Menu
