Published May 28, 2007
| Version v1
Journal article
Open
Formal MethodsGuest Editorial
Authors/Creators
- 1. Computer Science Dept., Manchester University, Manchester, United Kingdom
Description
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.
Files
jucs_article_28780.pdf
Files
(35.1 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:5abad49aaae5cf67aaa1a61b6d69d8b7
|
35.1 kB | Preview Download |