第四届接口技术基础研讨会论文集
计算机科学中的逻辑
2012-07-17 v1 软件工程
摘要
本卷收录了第四届接口技术基础研讨会 (FIT 2012) 的论文集，该研讨会于 2012 年 3 月 25 日在爱沙尼亚塔林与 ETAPS 2012 联合举办。本研讨会旨在汇聚对接口技术形式化基础感兴趣的研究人员。
引用
@article{arxiv.1207.3485,
title = {Proceedings Fourth Workshop on Foundations of Interface Technologies},
author = {Sebastian Bauer and Jean-Baptiste Raclet},
journal= {arXiv preprint arXiv:1207.3485},
year = {2012}
}