Using formal models to objectively judge quality of multi-threaded programs in empirical studies.
Saved in:
| Title: | Using formal models to objectively judge quality of multi-threaded programs in empirical studies. |
|---|---|
| Authors: | Dillon, Laura K., Stirewalt, R. E. K., Kraemer, Eileen, Xie, Shaohua, Fleming, Scott D. |
| Source: | ICSE: International Conference on Software Engineering; May2008, p33-38, 6p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| DOI: | 10.1145/1370731.1370740 |
|---|
