BibTeX record conf/fgit/WangLM11

• > Home > conf/fgit/WangLM11

@inproceedings{DBLP:conf/fgit/WangLM11,
  author       = {Xi Wang and
                  Shaoying Liu and
                  Huaikou Miao},
  editor       = {Tai{-}Hoon Kim and
                  Hojjat Adeli and
                  Haeng{-}Kon Kim and
                  Heau{-}Jo Kang and
                  Kyung Jung Kim and
                  Kiumi Akingbehin and
                  Byeong Ho Kang},
  title        = {A Pattern-Based Approach to Formal Specification Construction},
  booktitle    = {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},
  series       = {Communications in Computer and Information Science},
  volume       = {257},
  pages        = {159--168},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-27207-3\_16},
  doi          = {10.1007/978-3-642-27207-3\_16},
  timestamp    = {Thu, 17 Nov 2022 21:19:23 +0100},
  biburl       = {https://dblp.org/rec/conf/fgit/WangLM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}