@proceedings{MossakowskiKreowski12,
  added-at = {2016-08-05T15:59:03.000+0200},
  biburl = {https://www.bibsonomy.org/bibtex/20f7133ea6d9183ed0f6f36c8bbe2ca7a/tillmo},
  editor = {Mossakowski, Till and Kreowski, Hans-J{\"o}rg},
  interhash = {53f10d8435354874902adaeaf38453e8},
  intrahash = {0f7133ea6d9183ed0f6f36c8bbe2ca7a},
  isbn = {978-3-642-28411-3},
  keywords = {imported},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  status = {Reviewed},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010},
  url = {http://link.springer.com/book/10.1007/978-3-642-28412-0/page/1},
  volume = 7137,
  year = 2012
}