JOT The Journal of Object Technology
An AITO publication
ISSN 1660-1769 · DOI 10.5381/jot
  • Home
  • Contents
  • Masthead
  • Authors
  • Software
  • Special Themes

Articles matching “Baudry”

  1. Wuliang Sun, Benoit Combemale, Robert B. France, Arnaud Blouin, Benoit Baudry, Indrakshi Ray, Using Slicing to Improve the Performance of Model Invariant Checking, pp. 1:1-28, PDF, DOI. Volume 14, no. 4 (September 2015)
The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |   Contact
Published by AITO · Open Access since 2002