Universes for Race Safety

File(s)

universes-races.pdf (339.59 KB)

Accepted version

Show more

Author(s)

Cunningham, D

Eisenbach, S

Drossopoulou, S

Type

Conference Paper

Date Issued

2007-09-03

Citation

pp.1-32

URI

http://hdl.handle.net/10044/1/5982

URL

http://www.cs.ru.nl/~chaack/VAMP07/

Source Title

1st International Workshop on Verification and Analysis of Multi-threaded Java-like Programs (VAMP) 2007

Start Page

1

End Page

32

Copyright Statement

© The Authors

License URL

http://www.rioxx.net/licenses/all-rights-reserved

Identifier

http://pubs.doc.ic.ac.uk/universes-races/universes-races.pdf

Source

1st International Workshop on Verification and Analysis of Multi-threaded Java-like Programs (VAMP) 2007

Source Place

Lisbon, Portugal

Start Date

2007-09-03

Finish Date

2007-09-03

Coverage Spatial

Lisbon, Portugal