Estudando Análise Estática de Programas com Coq

dc.contributor.advisor	Moreira, Alvaro Freitas	pt_BR
dc.contributor.author	Bonatto, Bruno de Freitas	pt_BR
dc.date.accessioned	2021-08-31T22:05:26Z	pt_BR
dc.date.issued	2020	pt_BR
dc.identifier.uri	http://hdl.handle.net/10183/228300	pt_BR
dc.format.mimetype	video/mp4	pt_BR
dc.format.mimetype	application/pdf	pt_BR
dc.language.iso	por	pt_BR
dc.rights	Open Access	en
dc.title	Estudando Análise Estática de Programas com Coq	pt_BR
dc.type	Resumo publicado em evento	pt_BR
dc.contributor.event	Salão de Iniciação Científica (32. : 2020 set. 14-18 : UFRGS, Porto Alegre, RS).	pt_BR
dc.subject.theme	Teoria da computação	pt_BR
dc.subject.cnpq	Ciências exatas e da terra	pt_BR
dc.type.presentation	Apresentação oral	pt_BR
dc.identifier.sic	71656	pt_BR
dc.subject.macro	Informática	pt_BR

Este item está licenciado na Creative Commons License