This page has moved to a new address.

Amir Pnueli dies at 68