[Haskell] AI4FM 2014: Call for Short Contributions
- AI4FM 2014 - the 5th International Workshop on the use of AI in Formal Methods http://www.ai4fm.org/ai4fm-2014/ Singapore, 12th or 13th May, 2014 In association with FM 2014 -
[Haskell] AI4FM 2014: Call for Short Contributions
- AI4FM 2014 - the 5th International Workshop on the use of AI in Formal Methods http://www.ai4fm.org/ai4fm-2014/ Singapore, 13th May, 2014 In association with FM 2014 -