@proceedings{TASE18,
  editor        = {J. Pang and C. Zhang and J. He and J. Weng},
  title         = {Proceedings of the 12th International Symposium on Theoretical Aspects of Software Engineering},
  booktitle     = {TASE 2018},
  publisher     = {IEEE Computer Society},
  year          = {2018},
  ee            = {}
}