← All Publications

B Method Based Framework for Correct Software Development

Xiaoli Liu and Min Jiang and Feng Liu

International Conference on Computational Intelligence and Software Engineering 2009 · published

Links pending

BibTeX

@inproceedings{liu2009b,
  title={B Method Based Framework for Correct Software Development},
  author={Liu, Xiaoli and Jiang, Min and Liu, Feng},
  booktitle={2009 International Conference on Computational Intelligence and Software Engineering},
  pages={1--4},
  year={2009},
  organization={IEEE},
}