Begell House Authors, Editors and Reviewers

David Pnueli

Faculty of Mechanical Engineering Technion - Israel Institute of Technology Haifa, Israel