Publié le 22/05/2008 |

This year, FLOSS-FM and OpenCert 2008 have organized the second international conference dedicated to Open Source and Formal Methods. The objective of this event is to bring together industrial and academic players to discuss the issue of the certification of software developed with Open Source based on Formal Methods.

For more information, visit the event site: FLOSS-FM.