Safe and verifiable design of concurrent Java programs

G.S. Stiles, P.H. Welch, G.H. Hilderink, André Bakkers

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined
Title of host publication	Proc. 3rd IASTED International Conf. Software Engg. and Applications
Place of Publication	Scottsdale, Arizona, USA
Pages	-
Number of pages	10
Publication status	Published - 6 Oct 1999

Keywords

@inproceedings{f28f7c1a424e44e2bbabe07c4ed4f369,

title = "Safe and verifiable design of concurrent Java programs",

keywords = "METIS-113339",

author = "G.S. Stiles and P.H. Welch and G.H. Hilderink and Andr{\'e} Bakkers",

year = "1999",

month = oct,

day = "6",

language = "Undefined",

pages = "--",

booktitle = "Proc. 3rd IASTED International Conf. Software Engg. and Applications",

}