DBLP Record 'journals/stvr/KimC01'

BibTeX

@article{DBLP:journals/stvr/KimC01,
  author    = {Taeho Kim and
               Sung Deok Cha},
  title     = {Automated structural analysis of SCR-style software requirements
               specifications using PVS},
  journal   = {Softw. Test., Verif. Reliab.},
  volume    = {11},
  number    = {3},
  year      = {2001},
  pages     = {143-163},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}