FormaliSE is a conference series fostering integration between the formal methods and the software engineering communities. FormaliSE is co-located with ICSE.

ID: 2346715794

linkhttp://www.formalise.org/ calendar_today16-02-2014 11:41:44