Вы здесь

Главная

Joshi R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Model-Driven Software Verification 2004 Holzmann G. J., Joshi R. Lecture Notes in Computer Science 29.04.2004
П Denali: A Goal-Directed Superoptimizer 2001 Joshi R., Nelson G., Randall K. Systems Research Center 17.07.2002

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ NASA Formal Methods: Proc./7th International Symposium, NFM 2015, Pasadena,CA,USA, April 2015 2015 Lecture Notes in Computer Science
  1. Havelund K.
  2. Holzmann G.
  3. Joshi R.
 23.05.2015
СБ Verified Software: Theories, Tools, Experiments: Proc./4th International Conference, VSTTE 2012, Philadelphia,PF,USA, January 2012 2012 Lecture Notes in Computer Science
  1. Joshi R.
  2. Muller P.
  3. Podelski A.
 20.03.2012
СБ NASA Formal Methods: Proc./Third International Symposium, NFM 2011, Pasadens,CA,USA, April 2011 2011 Lecture Notes in Computer Science
  1. Bobaru M.
  2. Havelung K.
  3. Holzmann G. J.
  4. Joshi R.
 24.05.2011