Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 13 / Issue 5

available in:   HTML (25 kB) PDF (34 kB) PS (22 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-013-05-0593


Formal Methods
Guest Editorial

Richard Banach (University of Manchester, United Kingdom)

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

Categories: B.2, D.2.4, F.3.1