Home Advanced Search

Advanced Search - Page 1

Integrated Formal Methods: Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings

PDF
English
Year: 2002
Author: Eran Gery, David Harel, Eldad Palachi (auth.), Michael Butler, Luigia Petre, Kaisa Sere (eds.)

FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

PDF
English
Year: 2008
Author: Shmuel Katz (auth.), Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.)

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

PDF
English
Year: 2013
Author: Jean-Raymond Abrial (auth.), Einar Broch Johnsen, Luigia Petre (eds.)

First-Order Dynamic Logic

DJVU
English
Year: 1979
Author: David Harel (eds.)

First-Order Dynamic Logic

PDF
English
Year: 1979
Author: David Harel (eds.)

Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

PDF
English
Year: 2013
Author: David Harel (auth.), Armin Biere, Amir Nahir, Tanja Vos (eds.)

Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

PDF
English
Year: 2011
Author: David Harel (auth.), Kedar Namjoshi, Andreas Zeller, Avi Ziv (eds.)

Implementation and Application of Automata: 5th International Conference, CIAA 2000 London, Ontario, Canada, July 24–25, 2000 Revised Papers

PDF
English
Year: 2001
Author: David Harel, Hillel Kugler (auth.), Shen Yu, Andrei Păun (eds.)

The British General Election of 1970

PDF
English
Year: 1971
Author: David Butler, Michael Pinto-Duschinsky (auth.)

Topics in Cryptology – CT-RSA 2006: The Cryptographers’ Track at the RSA Conference 2006, San Jose, CA, USA, February 13-17, 2005. Proceedings

PDF
English
Year: 2006
Author: Dag Arne Osvik, Adi Shamir, Eran Tromer (auth.), David Pointcheval (eds.)