Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language

Created by W.Langdon from gp-bibliography.bib Revision:1.7615

@InProceedings{DBLP:conf/vstte/BosamiyaGLPH20,
}

Genetic Programming entries for Jay Bosamiya Sydney Gibson Yao Li Bryan Parno Chris Hawblitzel

Citations