Time for Verification: Essays in Memory of Amir Pnueli

3.93 MiB

Download ready in 3s