Towards the use of slicing techniques for an efficient invariant checking

Abstract

Publication
MODULARITY 2015
Date