Вы здесь

Главная

Cook B.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft 2004 Ball T., Cook B., Levin V., Rajamani S. K. Lecture Notes in Computer Science 21.05.2004
СТ On Embedding a Microarchitectural Design Language within Haskell 1999 Launchbury J., Lewis J. R., Cook B. SIGPLAN Notices 20.12.1999

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Computer Aided Verification: Proc./22nd International Conference, CAV 2010, Edinburgh, UK, July 2010 2010 Lecture Notes in Computer Science
  1. Touili T.
  2. Cook B.
  3. Jackson P.
 14.09.2010
СБ Formal Methods for Industrial Critical Systems: Proc./14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2009 2009 Lecture Notes in Computer Science
  1. Alpuente M.
  2. Cook B.
  3. Joubert Ch.
 21.11.2009
СБ Verification, Model Checking, and Abstract Interpretation: Proc./8th International Conference,VMCAI 2007 Nice,France,January 2007 2007 Lecture Notes in Computer Science
  1. Cook B.
  2. Podelski A.
 02.03.2007