Title of article :
Formal Methods Guest Editorial
Author/Authors :
Banach, Richard University of Manchester - School of Computer Science, UK
Abstract :
This introductory paper gives some historical background to the emergence of formal methods, 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
Journal title :
International Journal of Universal Computer Sciences
Journal title :
International Journal of Universal Computer Sciences
