A blog on fm = Formal Methods, se = Software Engineering, \(fm \cap se\) (their intersection), and \(\overline{fm \cap se}\) (the complement of their intersection)
Tuesday, September 23, 2014
Modularity 2015 - Submissions: October 10, 2014
Modularity 2015 second round submission deadline: October 10th, 2014
No comments:
Post a Comment