FMI

Workshop on Formal Methods Integration

Search within this conference

Search

1. 2016

   FMI 2016

   • 27-30 July
   • Pittsburgh, USA

   • Quality Software Through Reuse and Integration

     13 Papers

     1 Volume

2. 2014

   FMI 2014

   • 13 August 2014 - 15 August 2017
   • San Francisco, USA

   • Formalisms for Reuse and Systems Integration

     12 Papers

     1 Volume