Automatic Generation of Verified Concurrent Hardware.

Marcel Oliveira, Jim Woodcock

Browse the full ICFEM paper archive.