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

von Yichen Xie Vdm Verlag Dr. Müller · 2007 Broschiert Details (Deutschland) ISBN-13: 978-3-8364-2172-0 ISBN-10: 3-8364-2172-0