Articles matching “Baudry”

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)