Congu, Checking Java Classes Against Property-Driven Algebraic Specifications

TitleCongu, Checking Java Classes Against Property-Driven Algebraic Specifications
Publication TypeJournal Article
Year of Publication2007
AuthorsAbreu, J., A. Caldeira, A. Lopes, I. Nunes, L. S. Reis, and V. T. Vasconcelos