JUCS
2007
13 years 11 months ago
2007
: This introductory paper gives some historical background to the emergence of formal methods, overviews what subsequently happened, and surveys prospects for the future. Brief
AB
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. This paper surveys the field of automated reasoning, giving some historical background and outlining a few of the main current research themes. We particularly emphasize...