Inproceedings,

Building and using pluggable type-checkers.

, , , , and .
ICSE, page 681-690. ACM, (2011)

Meta data

Tags

Users

  • @davef
  • @dblp

Comments and Reviews