Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Publications

Publications by Nuno Moreira Macedo

2019

Sharing and Learning Alloy on the Web

Authors
Macedo, N; Cunha, A; Pereira, J; Carvalho, R; Silva, R; Paiva, ACR; Ramalho, MS; Silva, DC;

Publication
CoRR

Abstract

2016

Alloy meets TLA+: An exploratory study

Authors
Macedo, N; Cunha, A;

Publication
CoRR

Abstract

  • 10
  • 10