Verification of language based fault-tolerance (2005)

by C Benac Earle, L ˚A Fredlund
Venue:In EUROCAST