External Links

Journal: Science of Computer Programming

Volume 20, Issue 3

205 -- 221David B. Skillicorn. Deriving Parallel Programs from specification Susing Cost Information
223 -- 251Ralph-Johan Back, Joakim von Wright. Statement Inversion and Strongest Postcondition
253 -- 289Jules Desharnais, Ali Mili, Fatma Mili. On the Mathematics of Sequential Decompositions
runs on