Specifying Behavior in C++.

Xiangtian Dai Gregory D. Hager John Peterson Specifying Behavior in C++. 153-160 2002 conf/icra/2002 ICRA db/conf/icra/icra2002.html#DaiHP02