Exploring the Potential of Frama-C in IoT Static Analysis.

Minh Le Kim Tran, William King, Harvey P. Siy

Browse the full MOBIHOC paper archive.