Title of article
Formal Methods Guest Editorial
Author/Authors
Banach, Richard University of Manchester - School of Computer Science, UK
From page
593
To page
601
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
Record number
2574602
Link To Document