In proceedings details

The Type Discipline of Behavioral Separation

Jan 2013

Organization:

Publisher: ACM

Authors: Luis Caires, João Costa Seco

Editors:

Series:

Volume: 0

ISSN:

ISBN:

Url:

Notes:

Bibtex Key:

DOI:

Pages: 0 to 0

Publication Date: 1 Jan 2013

Publication File: