search author

DBLP BibTeX Record 'conf/seke/BarbutiTBF02'

@inproceedings{DBLP:conf/seke/BarbutiTBF02,
  author    = {Roberto Barbuti and
               Luca Tesei and
               Cinzia Bernardeschi and
               Nicoletta De Francesco},
  title     = {Fixing the Java bytecode verifier by a suitable type domain},
  booktitle = {SEKE},
  year      = {2002},
  pages     = {377-382},
  ee        = {http://doi.acm.org/10.1145/568760.568826},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}