PakCat catalogue record Value-range analysis of C programs By "Simon, Axel" Bibliographic details Publication year2008 Material typeBook