编辑配置文件（在新选项卡中打开） 米拉·阿彻（Myla M.Archer）。 合著者距离 作者ID： myla-m弓箭手 发布日期： 迈拉·阿彻;米拉·阿彻（Myla M.Archer）。 已编制索引的文档： 6出版物自1984年以来 合著者： 7合著者具有5联合出版物 67位合作作者 全部的 前5名合著者 1 单作者的 2 康斯坦斯·海特迈尔。 1 拉尔夫·杰弗兹。 1 塞缪尔·卡明。 1 伊丽莎白·伦纳德。 1 林洪平 1 萨扬·密特拉 1 利可宾，埃尔维尼亚 系列 1 系统设计中的形式化方法 1 数学与人工智能年鉴 领域 6 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用15中的次10文件 引用人▼ 年份▼ TAME：使用PVS策略进行特殊目的的定理证明。 Zbl 1001.68127号 迈拉·阿彻 5 2000 使用合成和部分细化对关键系统进行基于模型的构建和验证。 Zbl 1209.68321号 拉尔夫·杰弗兹。;康斯坦斯·海特迈尔。;米拉·阿彻（Myla M.Archer）。;伊丽莎白·伦纳德。 三 2010 用TAME证明I/O自动机的不变量。 Zbl 1034.68572号 迈拉·阿彻;康斯坦斯·海特迈尔;利可宾，埃尔维尼亚 三 2002 证明自动机抽象属性的PVS策略。 Zbl 1272.68363号 萨扬·密特拉;迈拉·阿彻 2 2005 抽象数据类型的部分实现：错误的不同观点。 Zbl 0552.68011号 塞缪尔·卡明;迈拉·阿彻 2 1984 使用合成和部分细化对关键系统进行基于模型的构建和验证。 Zbl 1209.68321号 拉尔夫·杰弗兹。;康斯坦斯·海特迈尔。;米拉·阿彻（Myla M.Archer）。;伊丽莎白·伦纳德。 三 2010 证明自动机抽象属性的PVS策略。 Zbl 1272.68363号 萨扬·密特拉;迈拉·阿彻 2 2005 用TAME证明I/O自动机的不变量。 Zbl 1034.68572号 迈拉·阿彻;康斯坦斯·海特迈尔;利可宾，埃尔维尼亚 三 2002 TAME：使用PVS策略进行特殊目的的定理证明。 Zbl 1001.68127号 阿彻，迈拉 5 2000 抽象数据类型的部分实现：对错误的不同看法。 Zbl 0552.68011号 塞缪尔·卡明;迈拉·阿彻 2 1984 所有引用出版物 前5名被引用出版物 全部的 前5名21位作者引用 2 卡尼安特拉·马尼·钱迪 2 约瑟夫·阿马迪·戈根 2 萨扬·密特拉 1 Nazareno M.阿吉雷。 1 米拉·阿彻（Myla M.Archer）。 1 罗德·M·伯斯托尔。 1 巴勃罗·卡斯特罗。 1 拉米罗·德马西 1 走吧，布莱恩 1 格温·克莱恩 1 林洪平 1 托马斯·斯蒂芬·爱德华·迈鲍姆 1 何塞·梅塞盖尔·瓜伊塔 1 阿扬·J·穆伊（Arjan J.Mooij）。 1 萨姆·奥雷 1 皮洛托、康塞塔 1 朱迪·罗米恩 1 Natarajan Shankar 1 安德烈·塔莱基 1 威格·威瑟林克 1 怀特，杰罗姆 4篇连载文章中引用 2 理论计算机科学 2 计算的形式方面 1 工程软件进展 1 萨达纳 在5个字段中引用 10 计算机科学（68至XX） 2 一般代数系统（08-XX） 1 阶、格、有序代数结构（06-XX） 1 范畴理论；同调代数（18-XX） 1 数值分析（65-XX） 按年份列出的引文