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.
| Original language | English |
|---|---|
| Pages (from-to) | 593-601 |
| Number of pages | 9 |
| Journal | Journal of Universal Computer Science |
| Volume | 13 |
| Issue number | 5 |
| Publication status | Published - 2007 |
Keywords
- formal methods