Bridging the Gap between Algebraic Specification and Generic Programming

Detalhes bibliográficos
Autor(a) principal: I.Nunes
Data de Publicação: 2009
Outros Autores: Antónia Lopes, Vasco Vasconcelos
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10451/14577
id RCAP_71c7965dc09d6ce6f58e18df8a24001e
oai_identifier_str oai:repositorio.ul.pt:10451/14577
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Bridging the Gap between Algebraic Specification and Generic ProgrammingComputer ScienceRuntime Verification, 9th International WorkshopRepositório da Universidade de LisboaI.NunesAntónia LopesVasco Vasconcelos2010-05-21T17:18:16Z20092009-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articlehttp://hdl.handle.net/10451/14577enginfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-11-08T16:00:33Zoai:repositorio.ul.pt:10451/14577Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T21:36:17.627967Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Bridging the Gap between Algebraic Specification and Generic Programming
title Bridging the Gap between Algebraic Specification and Generic Programming
spellingShingle Bridging the Gap between Algebraic Specification and Generic Programming
I.Nunes
Computer Science
title_short Bridging the Gap between Algebraic Specification and Generic Programming
title_full Bridging the Gap between Algebraic Specification and Generic Programming
title_fullStr Bridging the Gap between Algebraic Specification and Generic Programming
title_full_unstemmed Bridging the Gap between Algebraic Specification and Generic Programming
title_sort Bridging the Gap between Algebraic Specification and Generic Programming
author I.Nunes
author_facet I.Nunes
Antónia Lopes
Vasco Vasconcelos
author_role author
author2 Antónia Lopes
Vasco Vasconcelos
author2_role author
author
dc.contributor.none.fl_str_mv Repositório da Universidade de Lisboa
dc.contributor.author.fl_str_mv I.Nunes
Antónia Lopes
Vasco Vasconcelos
dc.subject.por.fl_str_mv Computer Science
topic Computer Science
publishDate 2009
dc.date.none.fl_str_mv 2009
2009-01-01T00:00:00Z
2010-05-21T17:18:16Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10451/14577
url http://hdl.handle.net/10451/14577
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Runtime Verification, 9th International Workshop
publisher.none.fl_str_mv Runtime Verification, 9th International Workshop
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799134260964098049

Registros relacionados