Verification of high-level transformations with inductive refinement types.

Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, Andrzej Wasowski

Browse the full GPCE paper archive.