Proceedings Fourth Workshop on Foundations of Interface Technologies
Abstract
This volume contains the proceedings of the 4th workshop on Foundations of Interface Technologies (FIT 2012) which was collocated with ETAPS 2012 in Tallinn, Estonia, and took place on March 25, 2012. The aim of this workshop is to bring together researchers who are interested in the formal underpinnings of interface technologies.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2012
- DOI:
- 10.48550/arXiv.1207.3485
- arXiv:
- arXiv:1207.3485
- Bibcode:
- 2012arXiv1207.3485B
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Computer Science - Software Engineering
- E-Print:
- EPTCS 87, 2012