Luís S. Reis

According to our database, Luís S. Reis authored at least 1 paper in 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Checking the Conformance of Java Classes Against Algebraic Specifications.

Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos, João Abreu, Luís S. Reis

Proceedings of the Formal Methods and Software Engineering, 2006