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. Informatica
LASIGE - LASIGE Computer Science and Engineering Research Centre
Lopes, Maria Antónia Bacelar da Costa (Adviser)
Dep. Informatica
LASIGE - LASIGE Computer Science and Engineering Research Centre

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