--- layout: fc_discuss_archives title: Message 104 from Frama-C-discuss on January 2014 ---
Hi people at the f?rum ?Has anybody experience on calling Frama-C from within Keil C51? Thanks in advance -- Ing. Alejandro J. Formichelli INTI - Electr?nica e Inform?tica www.inti.gob.ar Av. Gral Paz 5445 - Ed. 42 (B1650WAB) SAN MARTIN (54-11-) 4724-6200/6300/6400 Provincia de Buenos Aires (ext 6371) int 6371 Rep?blica Argentina