DBLP BibTeX Record 'journals/eceasst/MargariaST10'

@article{DBLP:journals/eceasst/MargariaST10,
  author    = {Tiziana Margaria and
               Bernhard Steffen and
               Christian Topnik},
  title     = {Second-Order Value Numbering},
  journal   = {ECEASST},
  volume    = {30},
  year      = {2010},
  ee        = {http://journal.ub.tu-berlin.de/index.php/eceasst/article/view/439},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}