Publications

A Type-Level Approach to Component Prototyping

AuthID
P-007-KPJ

Author(s)

Barbosa, L

Cunha, J

Visser, J

Editor(s)

Farhad Arbab; Christel Baier

Document Type

Proceedings Paper

Year published

2007

Published

in SYANCO'07: International Workshop on Synthesis and Analysis of Component Connectors - In conjunction with the 6th ESEC/FSE Joint Meeting in SYANCO

Pages: 23-36

Conference

SYANCO'07: International Workshop on Synthesis and Analysis of Component Connectors: 6Th Esec(European Software Engineering Conference)/Fse(Foundations of Software Engineering) Joint Meeting, Date: 3 September 2007 through 4 September 2007, Location: Dubrovnik, Sponsors: The Council of European Professional Informatics Societies, CEPIS;ACM Special Interest Group on Software Engineering, SIGSOFT

Indexing