Electronic Notes in Theoretical Computer Science: Preface

被引：0
|
作者：
Bravetti, Mario
Gorrieri, Roberto
机构：
来源：
Electronic Notes in Theoretical Computer Science | 2004年 / 99卷
关键词：
formal methods for security and time) was a italian national project funded by the Ministry of Education, University and Research. It lasted two years, from Dec 2001 to Dec 2003, with an overall funding of about 300,000 euros. The sites forming the consortium were: University of Bologna (Roberto Gorrieri, national coordinator of the project), University of Pisa (Pierpaolo Degano, local coordinator), University of Salerno (Margherita Napoli), University of Trento (Corrado Priami), University of Venice (Riccardo Focardi);
D O I：
10.1016/j.entcs.2004.06.001
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1 / 2
相关论文
共 50 条
12345