文章基本信息

标题：Formal Methods Guest Editorial
作者：Richard Banach
期刊名称：Journal of Universal Computer Science
印刷版ISSN：0948-6968
出版年度：2007
卷号：13
期号：5
页码：593-601
出版社：Graz University of Technology and Know-Center
摘要：This introductory paper gives some historical background to the emergence of formalmethods, overviews what subsequently happened, and surveys prospects for the future. Brief introductions to the remaining papers in the Special Issue are given.