pas areanu , cs , robby , visser , w. , and zhen , h. 2001 . tool-supported program abstraction for finite -
mb dwyer , j hatcliff , r joehanes , s laubach
proceedings of the 23rd international conference on software