Login / Signup
Nuno Burnay
ORCID
Publication Activity (10 Years)
Years Active: 2019-2020
Publications (10 Years): 3
Top Topics
Third Party
Specification Language
Architectural Style
Source Code
Top Venues
CoRR
SEFM
Models, Languages, and Tools for Concurrent and Distributed Programming
</>
Publications
</>
Nuno Burnay
,
Antónia Lopes
,
Vasco T. Vasconcelos
Statically Checking REST API Consumers.
SEFM
(2020)
Nuno Burnay
,
Antónia Lopes
,
Vasco T. Vasconcelos
SafeRESTScript: Statically Checking REST API Consumers.
CoRR
(2020)
Vasco T. Vasconcelos
,
Francisco Martins
,
Antónia Lopes
,
Nuno Burnay
HeadREST: A Specification Language for RESTful APIs.
Models, Languages, and Tools for Concurrent and Distributed Programming
(2019)