Automatic Verification of Refinement.

Trevor Wing Sang Lee, Mark R. Greenstreet, Carl-Johan H. Seger

Browse the full ICCD paper archive.