Home Advanced Search

Advanced Search - Page 1

Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Daniel Jackson (auth.), Hana Chockler, Alan J. Hu (eds.)
Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Alan J. Hu (auth.), Karen Yorav (eds.)
Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Alan J. Hu (auth.), Karen Yorav (eds.)
Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings
  • DJVU
  • English
  • Year: 2008
  • Author: Alan J. Hu (auth.), Karen Yorav (eds.)
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
  • PDF
  • English
  • Year: 2018
  • Author: Hana Chockler, Georg Weissenbacher
Computer Aided Verification. 30th International Conference, CAV 2018 Held as Part of the Federated Logic Conference, FloC 2018 Oxford, UK, July 14–17, 2018 Proceedings
  • PDF
  • English
  • Year: 2018
  • Author: Hana Chockler, Georg Weissenbacher
Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings
  • DJVU
  • English
  • Year: 1998
  • Author: Nicolas Halbwachs (auth.), Alan J. Hu, Moshe Y. Vardi (eds.)
Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Wayne Wolf (auth.), Alan J. Hu, Andrew K. Martin (eds.)
Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings
  • DJVU
  • English
  • Year: 2004
  • Author: Wayne Wolf (auth.), Alan J. Hu, Andrew K. Martin (eds.)
Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Wayne Wolf (auth.), Alan J. Hu, Andrew K. Martin (eds.)
search