Talk:VDM specification language
You must add a |reason= parameter to this Cleanup template – replace it with {{Cleanup|reason=<Fill reason here>}}, or remove the Cleanup template.
You must add a |reason= parameter to this Cleanup template – replace it with {{Cleanup|March 2006|reason=<Fill reason here>}}, or remove the Cleanup template.
 | This article may be too technical for most readers to understand. |
I've been writing significant tracts of this article based on my university lecture notes. I find this subject fairly dull, but it is certainly worthwhile. That said, despite being in a substantially different (and, I think, better) style from the original source, this page still sucks. Please help re-write it!:
- More accessible language
- Tidier formula typesetting
- Better/cleaner examples