Xiangtian Dai, Gregory D. Hager, John Peterson. Specifying Behavior in C++. In Proceedings of the 2002 IEEE International Conference on Robotics and Automation, ICRA 2002, May 11-15, 2002, Washington, DC, USA. pages 153-160, IEEE, 2002.
@inproceedings{DaiHP02,
title = {Specifying Behavior in C++},
author = {Xiangtian Dai and Gregory D. Hager and John Peterson},
year = {2002},
tags = {C++},
researchr = {https://researchr.org/publication/DaiHP02},
cites = {0},
citedby = {0},
pages = {153-160},
booktitle = {Proceedings of the 2002 IEEE International Conference on Robotics and Automation, ICRA 2002, May 11-15, 2002, Washington, DC, USA},
publisher = {IEEE},
isbn = {0-7803-7273-5},
}