Using the Acyclic Visitor Pattern
to validate class invariants
International Conference on
Automated Software Engineering, 2002
| Home |
|---|
| Publications |
| Vita |
| Instruction |
| Formal Methods |
| Research Links |
| Personal |
ASE paper:
![[Comparison overview]](projects/ddj/table.gif)
Send comments to
Brian
Last updated on 12 September 2003
Last updated on 12 September 2003