Verification of ANDF components

• 期刊名称ACM SIGPLAN Notices
• 作者Broustaut, Frédéric; Fabre, Christian; de Ferrière, François; Ivanov, Éric; Fiorentini, Mauro
• 卷第30卷
• 期第3期
• 印刷ISSN0362-1340
• 文件大小57.95KB
• 发表时间1995-03-01
• DOI10.1145/202530.202540
• 页码103-110