Refinement and term synthesis in loop invariant generation (2009)

First Author: Ewan Maclean
Attributed to:  The Integration and Interaction of Multiple Mathematical Reasoning Processes. funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract