Alle Veröffentlichungen

@article{kastens_waite_2009,
  author = {Uwe Kastens AND William M. Waite},
  title = {Reusable specification modules for type analysis},
  journal = {Software: Practice and Experience},
  year = {2009},
  volume = {39},
  number = {9},
  pages = {833--864},
  month = {},
  note = {}
}