Compositional Computational Reflection.

Gregory Malecha Adam Chlipala Thomas Braibant

Published in: ITP (2014)

Keyphrases

databases
wide range
three dimensional
cooperative
medical images
computational model
mathematical programming