by Ben Liblit (Author)
This monograph presents a new and fundamental approach to software analysis that will provide a source of ideas and inspiration for many years to come. It constitutes a thoroughly revised and extended version of the author's PhD thesis, which was selected as the winning thesis of the 2005 ACM Doctoral Dissertation Competition.
Format: Paperback
Pages: 101
Publisher: Springer
Published: 25 Apr 2007
ISBN 10: 354071877X
ISBN 13: 9783540718772