Searching for "Checking the Conformance of Java Classes Against Algebraic Specifications." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Checking the conformance of Java classes against algebraic specifications
by Isabel Nunes, Antónia Lopes, Vasco Vasconcelos, João Abreu, Luís S. Reis — 2006 — In Proceedings of the International Conference Formal Methods and Software Engineering, volume 4260 of LNCS
…Checking the Conformance of Java Classes Against Algebraic Specifications Isabel Nunes, Antónia…
Cited by 5 (3 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB