版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
An automata-theoretic approach to software verification
作者机构：Institute for Formal Methods in Computer Science Software Reliability and Security Group University of Stuttgart Germany
出 版 物：《Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)》 (Lect. Notes Comput. Sci.)
年 卷 期：2003年第2710卷
页 面：21-21页
核心收录：
