Luís S. Reis

List of publications from the DBLP Bibliography Server - FAQ

2006

1 EE Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos, João Abreu, Luís S. Reis: Checking the Conformance of Java Classes Against Algebraic Specifications. ICFEM 2006: 494-513

2006
1	EE	Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos, João Abreu, Luís S. Reis: Checking the Conformance of Java Classes Against Algebraic Specifications. ICFEM 2006: 494-513

Coauthor Index

1	João Abreu	[1]
2	Antónia Lopes	[1]
3	Isabel Nunes	[1]
4	Vasco Thudichum Vasconcelos	[1]