Joker: um realizador de desenhos animados para linguagens formais
Made available in DSpace on 2014-12-17T15:47:56Z (GMT). No. of bitstreams: 1 DiegoHOS_DISSERT.pdf: 2899752 bytes, checksum: d3160b774efd6749eced9bb34d4a74cf (MD5) Previous issue date: 2011-08-31 === Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior === Using formal methods, the developer...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | Portuguese |
| Published: |
Universidade Federal do Rio Grande do Norte
2014
|
| Subjects: | |
| Online Access: | http://repositorio.ufrn.br:8080/jspui/handle/123456789/18024 |