Using Aspect Oriented Programming
to validate temporal invariants
International Conference on
Software Maintenance & Reengineering, 2003
| Home |
|---|
| Publications |
| Vita |
| Instruction |
| Formal Methods |
| Research Links |
| Personal |
CSMR paper:
![[Comparison overview]](projects/ddj/table.gif)
Send comments to
Brian
Last updated on 12 September 2003
Last updated on 12 September 2003