@inproceedings{CTT100566900,
  author = {Tomoko Miyawaki and Junichi Iijima and Sho Ho},
  title = {Measuring Function Points from VDM-SL Specifications},
  booktitle = {Proceedings of the 5th International Conference on Service Systems and Service Management (ICSSSM'08)},
  year = 2008,
}