Using Slicing to Improve the Performance of Model Invariant Checking
Domains
Software Engineering [cs.SE]
Origin : Files produced by the author(s)
Loading...