基于Web的网络旅游服务系统的形式化B开发
기우Web적망락여유복무계통적형식화B개발
Development of Web-based Travel Agency System Using B Method