Síntese deAsserções em PSL para Verificação Formal.

Detalhes bibliográficos
Data de Publicação: 2004
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
id BRCRIS_48f84970b449fe6111b2233b3e0ff893
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Síntese deAsserções em PSL para Verificação Formal.
title Síntese deAsserções em PSL para Verificação Formal.
spellingShingle Síntese deAsserções em PSL para Verificação Formal.
title_short Síntese deAsserções em PSL para Verificação Formal.
title_full Síntese deAsserções em PSL para Verificação Formal.
title_fullStr Síntese deAsserções em PSL para Verificação Formal.
Síntese deAsserções em PSL para Verificação Formal.
title_full_unstemmed Síntese deAsserções em PSL para Verificação Formal.
Síntese deAsserções em PSL para Verificação Formal.
title_sort Síntese deAsserções em PSL para Verificação Formal.
publishDate 2004
format masterThesis
author_role author
dc.publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DO AMAZONAS
publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DO AMAZONAS
instname_str UNIVERSIDADE FEDERAL DO AMAZONAS
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESSíntese deAsserções em PSL para Verificação Formal.Síntese deAsserções em PSL para Verificação Formal.Síntese deAsserções em PSL para Verificação Formal.Síntese deAsserções em PSL para Verificação Formal.Síntese deAsserções em PSL para Verificação Formal.Síntese deAsserções em PSL para Verificação Formal.Síntese deAsserções em PSL para Verificação Formal.2004masterThesisauthorUNIVERSIDADE FEDERAL DO AMAZONASUNIVERSIDADE FEDERAL DO AMAZONASUNIVERSIDADE FEDERAL DO AMAZONASPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
_version_ 1741890691454205952

Registros relacionados