Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
![]() |
Generating complete and finite test suite for ioco is it possible?Adenilso da Silva Simão Alexandre Petrenko; Workshop on Model-Based Testing (9. 2014 Grenoble, France)Electronic Proceedings in Theoretical Computer Science Dübendorf, Suiça : Open Publishing Association, 2014Dübendorf, Suiça Open Publishing Association 2014Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2471576 )(Acessar) |
2 |
Material Type: Artigo de Congresso
|
![]() |
On structuring functional programs with monoidal profunctorsAlexandre Garcia de Oliveira Mauro Jaskelioff; Ana Cristina Vieira de Melo; Workshop on Mathematically Structured Functional Programming - MSFP (9. 2022 Munich, Germany)Electronic Proceedings in Theoretical Computer Science Sydney v. 360, p. 134-150, 2022Sydney 2022Acesso online. A biblioteca também possui exemplares impressos. |