Comment Comment by excel2flow Could have abstract interpretation (http://www.astree.ens.fr/) or some other formal method prevented it? parent excel2flow 11 years ago
