BIBLIOS

  Sistema de Gestão de Referências Bibliográficas de Ciências

Modo Visitante (Login)
Need help?


Voltar

Detalhes Referência

Tipo
Documentos Académicos

Tipo de Documento
Dissertação de Mestrado

Título
Types to the rescue: verification of REST APIs consumer code

Participantes na publicação
Burnay, Nuno Miguel Pereira (Author)
Vasconcelos, Vasco Thudichum (Adviser)
Dep. Informática
LASIGE
Lopes, Maria Antónia Bacelar da Costa (Adviser)
Dep. Informática
LASIGE

Data de Publicação
2019

Instituição
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Identificadores da Publicação

Identificadores do Documento
URL - http://hdl.handle.net/10451/39881

Keywords
Types verification REST APIs


Exportar referência

APA
Burnay, Nuno Miguel Pereira, (2019). Types to the rescue: verification of REST APIs consumer code. http://hdl.handle.net/10451/39881 Vasconcelos, Vasco Thudichum, Lopes, Maria Antónia Bacelar da Costa,

IEEE
Burnay, Nuno Miguel Pereira, "Types to the rescue: verification of REST APIs consumer code", 2019.

BIBTEX
@MastersThesis{51562, author = {Burnay, Nuno Miguel Pereira}, title = {Types to the rescue: verification of REST APIs consumer code}, school = {FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA}, year = {2019}, OPTtype = {Documentos Académicos} }