AffeldtM06'

BibTeX

@inproceedings{DBLP:conf/asian/AffeldtM06,
  author    = {Reynald Affeldt and
               Nicolas Marti},
  title     = {An Approach to Formal Verification of Arithmetic Functions
               in Assembly},
  booktitle = {ASIAN},
  year      = {2006},
  pages     = {346-360},
  ee        = {http://dx.doi.org/10.1007/978-3-540-77505-8_27},
  crossref  = {DBLP:conf/asian/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/asian/2006,
  editor    = {Mitsu Okada and
               Ichiro Satoh},
  title     = {Advances in Computer Science - ASIAN 2006. Secure Software
               and Related Issues, 11th Asian Computing Science Conference,
               Tokyo, Japan, December 6-8, 2006, Revised Selected Papers},
  booktitle = {ASIAN},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4435},
  year      = {2008},
  isbn      = {978-3-540-77504-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}