2nd Workshop on Formal Methods in the Development of Software Posted on March 11, 2016March 11, 2016 by André Pires August 27-28. Posted in Events.