Inproceedings,

Maintaining Formal Models of Living Guidelines Efficiently.

, , , , , , , and .
AIME, volume 4594 of Lecture Notes in Computer Science, page 441-445. Springer, (2007)

Meta data

Tags

Users

  • @dblp

Comments and Reviews