DBLP Record 'journals/fmsd/ClarkeGZ99'

BibTeX

@article{DBLP:journals/fmsd/ClarkeGZ99,
  author    = {Edmund M. Clarke and
               Steven M. German and
               Xudong Zhao},
  title     = {Verifying the SRT Division Algorithm Using Theorem Proving
               Techniques},
  journal   = {Formal Methods in System Design},
  volume    = {14},
  number    = {1},
  year      = {1999},
  pages     = {7-44},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}