"Towards Provably Correct Code Generation via Horn Logical Continuation ..."

Qian Wang, Gopal Gupta, Michael Leuschel (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics