Bridging the gap between algebraic specification and object-oriented generic programming

TitleBridging the gap between algebraic specification and object-oriented generic programming
Publication TypeBook Chapter
Year of Publication2009
AuthorsNunes, I., A. Lopes, and V. T. Vasconcelos
Book TitleRuntime Verification
Pagination115–131
PublisherSpringer Berlin Heidelberg