1
TÍTULO: Editorial  Full Text
AUTORES: Cliff Jones; Jose Oliveira;
PUBLICAÇÃO: 2019, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 31, NÚMERO: 6
INDEXADO EM: WOS
2
TÍTULO: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
AUTORES: Cliff B Jones; Pekka Pihlajasaari; Jun Sun;
PUBLICAÇÃO: 2014, FONTE: FM, VOLUME: 8442
INDEXADO EM: DBLP
3
TÍTULO: The atomic manifesto: a story in four quarks. a story in four quarks  Full Text
AUTORES: Cliff B. Jones; David B. Lomet; Alexander B. Romanovsky; Gerhard Weikum; Alan Fekete; Marie Claude Gaudel; Henry F. Korth; Rogério de Lemos; Eliot Eliot B. Moss; Ravi Rajwar; Krithi Ramamritham; Brian Randell; Luís Rodrigues ;
PUBLICAÇÃO: 2005, FONTE: Operating Systems Review, VOLUME: 39, NÚMERO: 2
INDEXADO EM: Scopus DBLP CrossRef