Enabling the runtime assertion checking of concurrent contracts for the Java modeling language.
Saved in:
| Title: | Enabling the runtime assertion checking of concurrent contracts for the Java modeling language. |
|---|---|
| Authors: | Araujo, Wladimir, Briand, Lionel C., Labiche, Yvan |
| Source: | ICSE: International Conference on Software Engineering; 2011, p786-795, 10p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| DOI: | 10.1145/1985793.1985903 |
|---|
