소프트웨어무결점 연구센터(ROSAEC - Research On Software Analysis for Error-free Computing –  Center)는 교육과학기술부와 한국과학재단 지정(2008) 우수연구센터(Engineering Research Center)입니다.

이 블로그는 센터에서 일어나는 일들을 센터내외부 모두와 함께 소통하는 곳입니다.

The ROSAEC Center (Research On Software Analysis for Error-free Computing) is one of the Engineering Research Centers of Excellence funded by the Korea Science and Engineering Foundation and the Korea Ministry of Education, Science & Technology.

This blog is open for everyone to communicate about our work.

Update: October 4th, 2009
Comments are closed.