スポンサーリンク

The Institute of Electronics, Information and Communication Engineers = 電子情報通信学会 | 論文

• Generating test cases for invariant properties from proof scores in the OTS/CafeOBJ method

スポンサーリンク