In Memoriam: Robin Milner and Amir Pnueli | IEEE Journals & Magazine | IEEE Xplore