An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving.

Kenro Yatake Takuya Katayama An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving. 71-80 2008 MSVVEIS conf/vveis/2008 db/conf/vveis/msvveis2008.html#YatakeK08