DMCA

Applying the B Method to Take on the Grand Challenge of Verified Compilation

by B. Dantas , D. Déharbe , S. Galvão , A. M. Moreira , V. Medeiros