Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming

Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos. Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming. In Saddek Bensalem, Doron Peled, editors, Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers. Volume 5779 of Lecture Notes in Computer Science, pages 115-131, Springer, 2009. [doi]

Authors

Isabel Nunes

This author has not been identified. Look up 'Isabel Nunes' in Google

Antónia Lopes

This author has not been identified. Look up 'Antónia Lopes' in Google

Vasco Thudichum Vasconcelos

This author has not been identified. It may be one of the following persons: Look up 'Vasco Thudichum Vasconcelos' in Google