Using Refinement Checking as System Testing.

Cristiano Bertolini Alexandre Mota Using Refinement Checking as System Testing. 17-30 2008 CIbSE conf/cibse/2008 db/conf/cibse/cibse2008.html#BertoliniM08