Universes for Race Safety

27

IRUS Total
Downloads

Altmetric

File	Description	Size	Format
universes-races.pdf	Accepted version	339.59 kB	Adobe PDF	View/Open

Title:	Universes for Race Safety
Authors:	Cunningham, D Eisenbach, S Drossopoulou, S
Item Type:	Conference Paper
Issue Date:	3-Sep-2007
URI:	http://hdl.handle.net/10044/1/5982
Publisher Link:	http://www.cs.ru.nl/~chaack/VAMP07/
Presented At:	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
Conference Location:	Lisbon, Portugal
Appears in Collections:	Distributed Software Engineering Computing