Paradigm integration in a specification course.

Manuel A. Martins, Alexandre Madeira, Lus Soares Barbosa, Renato Neves

Browse the full IRI paper archive.