The 20th International Symposium on Formal Methods (FM 2015) will be organized in Oslo, 22-26 June 2015.
The call for papers is out now. You know what to do (before January 9)!
The 20th International Symposium on Formal Methods (FM 2015) will be organized in Oslo, 22-26 June 2015.
The call for papers is out now. You know what to do (before January 9)!