康斯坦斯·海特迈尔（编辑）;Jean-Pierre塔宾（编辑） 特刊：MEMOCODE 2004。2004年6月22日至25日，在美国加利福尼亚州圣地亚哥举行的第二届IEEE/ACM联合设计正式方法和模型国际会议上，论文根据会议上的陈述进行了选择。 （英语） Zbl 1127.68322号 形式方法系统。设计。30，第1期，82页。(2007). 本卷的文章将单独进行审查。 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 00B25型 杂项特定利益的会议记录 PDF格式BibTeX公司 XML格式