Program Dependences, Slicing, and Verification
Subtitle: Accurate and Scalable Approaches for Concurrent Object Oriented Programs
Publisher: VDM Verlag Dr. Müller; VDM Verlag
Published: Mar 21, 2010
Format: paperback
Number of pages: 304
ISBN-13: 9783639228038
Notes: Source title: Program Dependences, Slicing, and Verification: Accurate and Scalable Approaches for Concurrent Object Oriented Programs