CITI - Centro de Informática e Tecnologias da Informação

Research Output

Filter
Conference article
2013

The type discipline of behavioral separation

Caires, L. & Seco, J. C., 1 Jan 2013, In : Acm Sigplan Notices. 48, 1, p. 275-286 12 p.

Research output: Contribution to journalConference article

3 Citations (Scopus)
2012

Preface

Carreira, P. & Amaral, V., 1 Dec 2012, In : CEUR Workshop Proceedings. 923

Research output: Contribution to journalConference article

2004