%0 Conference Paper
%B 11th IFIP WG 8.9 Working Conference (CONFENIS 2017)
%D 2017
%T Checking the Correctness of What-If Scenarios
%A Mariana Carvalho
%A Orlando Belo
%A Nuno Macedo
%I Springer