Sciweavers

TFM
2004
Springer

Advertising Formal Methods and Organizing Their Teaching: Yes, but ...

13 years 9 months ago
Advertising Formal Methods and Organizing Their Teaching: Yes, but ...
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.
Dino Mandrioli
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where TFM
Authors Dino Mandrioli
Comments (0)