Hi, I'm .


Latest Post

Oct 8, 2018

ICFEM 2018

The 20 th International Conference on Formal Engineering Methods 12-16 November 2018 - Gold Coast, Australia Welcome to the website of the 20 th International Conference on Formal Engineering Methods (ICFEM 2018)Since 1997, ICFEM provides a forum for both researchers and practitioners who are interested in developing practical formal methods for software engineering or applying existing formal techniques to improve software development process in practice systems. Formal methods for the development of computer systems have been extensively researched and studied. ...Read More

Contact

My current local time is .