High-level data races

Metadata only

Author

Date

2003-12

Type

Journal Article

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Journal / series

Software testing verification & reliability

Volume

13(4)

Pages / Article No.

207 - 227

Publisher

Wiley

Subject

Java; Multi-threading; Data races; Software verification; Consistency

Notes

Published online 21 November 2003.

More

ETH Bibliography

yes

Altmetrics

Research Collection