PakCat catalogue record

Value-range analysis of C programs

By "Simon, Axel"

Bibliographic details