BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Academic documents

Document subtype
Master's dissertation

Title
Types to the rescue: verification of REST APIs consumer code

Participants in the publication
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
Date of Publication
2019

Institution
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Publication Identifiers

Document Identifiers
URL - http://hdl.handle.net/10451/39881

Keywords
Types verification REST APIs


Export

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} }