--- layout: fc_discuss_archives title: Message 106 from Frama-C-discuss on November 2013 ---
Great! Thank you very much. Cheers -david On 15 November 2013 11:52, Yannick Moy <moy at adacore.com> wrote: > -- David Yang: > >> Dear Yannick, >> >> I am not working on this area. But I am interested in formal >> verification and would like to join in this workshop. Whether can I >> join in? >> >> Thank you very much. > > Sorry, I forgot to put a contact email: jeff.joyce at cslabs.com > -- > Yannick Moy, Senior Software Engineer, AdaCore > > > >