1 paper
Marco Milanese, Francesco Ranzato
Local Completeness Logic (LCL) has been put forward as a program logic for proving both the correctness and incorrectness of program specifications. LCL is an abstract logic, param…