External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Pattern-Based Approach to Formal Specification Construction

Xi Wang, Shaoying Liu, Huaikou Miao. A Pattern-Based Approach to Formal Specification Construction. In Tai-Hoon Kim, Hojjat Adeli, Haeng-Kon Kim, Heau-Jo Kang, Kyung Jung Kim, Kiumi Akingbehin, Byeong Ho Kang, editors, Software Engineering, Business Continuity, and Education - International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings. Volume 257 of Communications in Computer and Information Science, pages 159-168, Springer, 2011. [doi]

Authors

Xi Wang

This author has not been identified. Look up 'Xi Wang' in Google

Shaoying Liu

This author has not been identified. Look up 'Shaoying Liu' in Google

Huaikou Miao

This author has not been identified. Look up 'Huaikou Miao' in Google
runs on