Talk:VDM specification language
 | This article may require cleanup to meet Wikipedia's quality standards. No cleanup reason has been specified. Please help improve this article if you can. |
| 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
Whitepaw 14:35, 7 March 2006 (UTC)
Just a note, "_(curvearrow)_" is a description of the symbol, not the actual symbol. It's a curved arrow going clockwise from about 10 O'clock to 2 O'clock — Whitepaw 14:52, 31 August 2006 (UTC)