JUCS - Journal of Universal Computer Science 13(5): 593-601, doi: 10.3217/jucs-013-05-0593
Formal MethodsGuest Editorial
expand article infoRichard Banach‡
‡ Computer Science Dept., Manchester University, Manchester, United Kingdom

Corresponding author: Richard Banach ( banach@cs.man.ac.uk )

© Richard Banach.
This article is freely available under the J.UCS Open Content License.
Citation: Banach R (2007) Formal MethodsGuest Editorial. JUCS - Journal of Universal Computer Science 13(5): 593-601. https://doi.org/10.3217/jucs-013-05-0593
Open Access
Abstract
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.
Keywords
formal methods