Search

Bibtex

Wuliang Sun, Benoit Combemale, Robert B. France, Arnaud Blouin, Benoit Baudry, Indrakshi Ray, Using Slicing to Improve the Performance of Model Invariant Checking

Back