Home Advanced Search

Advanced Search - Page 1

Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Simon N. Foley (auth.), Warren A. Hunt Jr., Fabio Somenzi (eds.)
FM8501: A Verified Microprocessor
  • DJVU
  • English
  • Year: 1994
  • Author: Warren A. Hunt Jr. (eds.)
Financial Cryptography: 7th International Conference, FC 2003, Guadeloupe, French West Indies, January 27-30, 2003. Revised Papers
  • PDF
  • English
  • Year: 2003
  • Author: Simon N. Foley (auth.), Rebecca N. Wright (eds.)
Logic Synthesis and Verification Algorithms
  • PDF
  • English
  • Year: 2002
  • Author: Gary D. Hachtel, Fabio Somenzi (auth.)
Data and Applications Security and Privacy XXXIII: 33rd Annual IFIP WG 11.3 Conference, DBSec 2019, Charleston, SC, USA, July 15–17, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Simon N. Foley
Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1–3, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Robert Beers, Rajnish Ghughal, Mark Aagaard (auth.), Warren A. Hunt Jr., Steven D. Johnson (eds.)
Interactive Systems: Design, Specification, and Verification: 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994
  • PDF
  • English
  • Year: 1995
  • Author: James D. Foley, Piyawadee “Noi” Sukaviriya (auth.), Fabio Paternó (eds.)
  • PDF
  • English
  • Year: 2017
  • Author: Foley, Simon N.; Gollmann, Dieter; Snekkenes, Einar
  • PDF
  • English
  • Year: 2017
  • Author: Foley, Simon N.; Gollmann, Dieter; Snekkenes, Einar
The Red Kingdom of Saxony: Lobbying Grounds for Gustav Stresemann
  • PDF
  • English
  • Year: 1964
  • Author: Donald Warren Jr. (auth.)
search