Вы здесь

Главная

Wolff B.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Symbolic Test Case Generation for Primitive Recursive Functions 2005 Brucker A. D., Wolff B. Lecture Notes in Computer Science Lecture Notes in Computer Science 29.04.2005
СТ HOL-OCL: Experiences, Consequences and Design Choices 2002 Brucker A. D., Wolff B. Lecture Notes in Computer Science 30.10.2002
СТ HOL-Z in the UniForM-Workbench - A Case Study in Tool Integration for Z 1998 Luth C., Karlsen E. W., Kolyang., Westmeier S., Wolff B. Lecture Notes in Computer Science 08.12.1998
СТ Towards Correct, Efficient and Reusable Transformational Developments 1995 Krieg-Bruckner B., Liu J., Shi H., Wolff B. Lecture Notes in Computer Science KORSO: Methods, Languages, and Tools for the Construction of Correct Software 28.12.1995

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Tests and Proofs: Proc./12th International Conference, TAP 2018 Held as Part of STAF 2018, Toulouse, France, June 2018 2018 Lecture Notes in Computer Science
  1. Dubois C.
  2. Wolff B.
 21.06.2018
СБ Unifying Theories of Programming: Revised Selected Papers/4th International Symposium, UTP 2012, Paris, France, August 2012 2013 Lecture Notes in Computer Science
  1. Wolff B.
  2. Gaudel M. -C.
  3. Feliachi A.
 11.06.2013
СБ Testing Software and Systems: Proc./23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 2011 2011 Lecture Notes in Computer Science
  1. Wolff B.
  2. Zaidi F.
 11.01.2012
СБ Tests and Proofs: Proc./5th International Conference, TAP 2011, Zurich, Switzerland, June/July 2011 2011 Lecture Notes in Computer Science
  1. Gogolla M.
  2. Wolff B.
 22.09.2011
СБ Formal Approaches to Software Testing and Runtime Verification: Revised Selected Papers/First Combined International Workshops FATES 2006 and RV 2006, Seattle,WA,USA,August 2006 2006 Lecture Notes in Computer Science
  1. Havelung K.
  2. Nunes M.
  3. Rosu G.
  4. Wolff B.
 10.02.2007
СБ Theorem Proving in Higher Order Logics: Proc./16th Intern. Conf., TPHOLs 2003, Rome, Italy, September 2003 2003 Lecture Notes in Computer Science
  1. Basin D.
  2. Wolff B.
 23.09.2003