Flow-Insensitive Points-To Analyses for Frama-C

By Berndt Max

No Synopsis Available.

• Format: Paperback
• Language: English
• ISBN: 3639807553
• ISBN13: 9783639807554
• Release Date: March 2015
• Publisher: AV Akademikerverlag
• Length: 52 Pages
• Weight: 0.20 lbs.
• Dimensions: 0.1" x 6.0" x 9.0"