GitHub repository: vaphor/cellmorphingV2
Created: 2018-11-14T09:01:11Z
Description: Array abstraction for Horn clauses (variant of SAS2016 Paper Gonnord & Monniaux)