Details of Making Sense of Specifications: the Formalization of SET
About Making Sense of Specifications: the Formalization of SET
Making Sense of Specifications: the Formalization of SET- Extended Abstract by Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson, and Piero Tramontano.