“第七届ACM/IEEE国际会议……形式方法和模型”
-
2009年7月13日至15日在美国马萨诸塞州剑桥市举行的第七届ACM/IEEE国际协同设计形式方法和模型会议(MEMOCODE 2009)。 电气与电子工程师协会 2009 ,国际标准图书编号 978-1-4244-4806-7 [目录]
由于引用数据不可用,以下列表可能不完整, 引用字符串可能未成功映射到dblp中列出的项,并且 我们没有针对这些列表中给出的所有项目的完整和精心策划的元数据。