A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf
.
Advertising Formal Methods and Organizing Their Teaching: Yes, but ..
[chapter]
2004
Lecture Notes in Computer Science
This position paper aims to address most of the "challenges" suggested by the conference's CFP plus a few others. The style is deliberately informal and colloquial, occasionally even provocative: for every examined point some obvious agreement is given for granted but a few, more controversial, "counterpoints" are raised and hints are suggested for deeper discussion. At the end a constructive synthesis is attempted.
doi:10.1007/978-3-540-30472-2_14
fatcat:cbd2bzchnvb6fbapk6casqc7qa