会议论文详细信息
| Rigorous Methods for Software Construction and Analysis | |
| Rigorous Methods for Software Construction and Analysis: Dagstuhl Seminar 06191 | |
| 计算机科学;物理学 | |
| Jean-Raymond Abrial ; Uwe Glässer | |
| Others : http://drops.dagstuhl.de/opus/volltexte/2006/665/pdf/06191.SWM.Paper.665.pdf PID : 6571 |
|
| 学科分类：计算机科学（综合） | |
| 来源: CEUR | |
 PDF
|
|
【 摘 要 】
We survey here the key objectives and the structure of the Dagstuhl Seminar 06191, which was organized as Festkolloquium on the occasion of Egon B¨orger’s 60th birthday, in May 2006 in Schloss Dagstuhl, Germany.
【 预 览 】
| Files | Size | Format | View |
|---|---|---|---|
| Rigorous Methods for Software Construction and Analysis: Dagstuhl Seminar 06191 | 41KB |  download |
878987797
028-85220240
