Specialization and instantiation aspects of a standard process for developing educational modules
Ellen Francine Barbosa José Carlos Maldonado; International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - ISOLA (3. 2011 Kassandra-Chalkidiki, Grécia)
Communications in Computer and Information Science Berlin : Springer-Verlag v. 17, p. 503-518, 2008Heidelberg, Berlin Springer-Verlag 2008
Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2218525 ) e outros locais(Acessar)