会议论文集：Event-B中开发可信系统的经验与进展研讨会（DS-Event-B 2012）
软件工程
2012-11-13 v1
摘要
这些论文集收录了2012年11月13日作为ICFEM 2012（日本京都）一部分举行的“Event-B中开发可信系统的经验与进展研讨会”上发表的论文。
引用
@article{arxiv.1211.2259,
title = {Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B 2012)},
author = {Fuyuki Ishikawa and Alexander Romanovsky},
journal= {arXiv preprint arXiv:1211.2259},
year = {2012}
}
备注
Proceedings of DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B, in conjunction with ICFEM 2012 - Kyoto, Japan, November 13, 2012