A blog on fm = Formal Methods, se = Software Engineering, \(fm \cap se\) (their intersection), and \(\overline{fm \cap se}\) (the complement of their intersection)
No comments:
Post a Comment