モデル検査 上級編―実践のための三つの技法

「モデル検査 上級編―実践のための三つの技法」を読みました。

初級編と、この上級編の間が欲しいです(^^;

初級では簡単過ぎ。上級は暇な時間を使って読むにはちょっと難しい...
腰を据えてじっくり読めば分かりそうではありますが。