Inproceedings,

Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector.

, and .
ISSTA, page 239-249. ACM, (1996)

Meta data

Tags

Users

  • @lucio_duarte
  • @dblp

Comments and Reviews