JUCS
2007
15 years 2 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