Automatic Maintenance of Association Invariants
James Welch‚ David Faitelson and Jim Davies
Details
| Book Title |
Proceedings of Software Engineering and Formal Methods (SEFM) 2005 |
| Publisher |
IEEE Computer Society Press |
| Year |
2005 |
Links
Related pages
|
People |
|
|
Projects |
|
|
Activities |