Static Detection of Software Errors: Precise and Scalable Algorithms for Automatic Detection of Software Errors

Detection

von Yichen Xie

Broschiert

ISBN-13: 978-3-8364-2172-0

ISBN-10: 3-8364-2172-0

VDM Verlag Dr. Müller · 2007