Data flow analysis for checking properties of concurrent Java programs

Saved in:

Bibliographic Details
Published in:	Software Engineering (ICSE '99): 21st International Conference pp. 399 - 410
Main Authors:	Naumovich, Gleb, Avrunin, George S, Clarke, Lori A
Format:	Conference Proceeding
Language:	English
Published:	01.01.1999
ISBN:	1581130740, 9781581130744
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!