Luís S. Reis

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2006

1 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		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]