search author

DBLP BibTeX Record 'journals/stvr/ArcherLO99'

@article{DBLP:journals/stvr/ArcherLO99,
  author    = {Myla Archer and
               Amy Lo and
               Ronald A. Olsson},
  title     = {Towards a Transformational Approach to Program Verification},
  journal   = {Softw. Test., Verif. Reliab.},
  volume    = {9},
  number    = {2},
  year      = {1999},
  pages     = {85-106},
  ee        = {http://dx.doi.org/10.1002/(SICI)1099-1689(199906)9:2$<$85::AID-STVR178$>$3.0.CO;2-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}