Nuno Burnay

According to our database¹, Nuno Burnay authored at least 3 papers between 2019 and 2020.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2020

SafeRESTScript: Statically Checking REST API Consumers.

[BibT_eX]

[DOI]

CoRR, 2020

Statically Checking REST API Consumers.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

2019

HeadREST: A Specification Language for RESTful APIs.

[BibT_eX]

[DOI]

Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019