Inproceedings,

Making languages more powerful by removing limitations.

.
Formal Methods in Software Development, page 18-24. ACM, (1990)

Meta data

Tags

Users

  • @dblp

Comments and Reviews