1 paper
Alberto Artosi, Guido Governatori
In this paper we present a theorem proving methodology for a restricted but significant fragment of the conditional language made up of (boolean combinations of) conditional statem…