Métodos formais algébricos para geração de invariantes
Orientador: Arnaldo Vieira Moura === Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação === Made available in DSpace on 2018-08-19T00:11:05Z (GMT). No. of bitstreams: 1 Rebiha_Rachid_D.pdf: 1451665 bytes, checksum: abe6fc4e72cf43113c7c93064ab11ed8 (MD5) Previous issue da...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | Portuguese |
| Published: |
[s.n.]
2011
|
| Subjects: | |
| Online Access: | REBIHA, Rachid. Métodos formais algébricos para geração de invariantes. 2011. 192 p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/275741>. Acesso em: 18 ago. 2018. http://repositorio.unicamp.br/jspui/handle/REPOSIP/275741 |