Verification of HOS Software Specification by a Hierarchical Software Understanding Approach

Jian Lu, Zongming Fei. Verification of HOS Software Specification by a Hierarchical Software Understanding Approach. Journal of Systems and Software, 32(2):135-142, 1996.

@article{LuF96:0,
  title = {Verification of HOS Software Specification by a Hierarchical Software Understanding Approach},
  author = {Jian Lu and Zongming Fei},
  year = {1996},
  tags = {systematic-approach},
  researchr = {https://researchr.org/publication/LuF96%3A0},
  cites = {0},
  citedby = {0},
  journal = {Journal of Systems and Software},
  volume = {32},
  number = {2},
  pages = {135-142},
}