Publications

Export 6 results:
Filters: Author is Nunes, Isabel  [Clear All Filters]
Book Chapter
Nunes, I., A. Lopes, and V. T. Vasconcelos, "Bridging the gap between algebraic specification and object-oriented generic programming", Runtime Verification: Springer Berlin Heidelberg, pp. 115–131, 2009.