2123	FM 2005: 13th International Symposium on Formal Methods
마감일자	2005/01/24	국내/국외
홈페이지	http://www.csr.ncl.ac.uk/fm05/	장 소
FM 2005: 13th International Symposium on Formal Methods July 18-22, 2005 University of Newcastle upon Tyne, United Kingdom Important Dates: -Paper submission deadline: 24th January 2005 -Last date for Workshop & Tutorial proposals: 7th March 2005 -Decisions on papers: 9th April 2005 -Final versions of papers due: 2nd May 2005 -Last date for Tools Exhibition & Demonstration proposals: 9th May 2005

사이트맵

연구문헌