Making Sense of Specifications: the Formalization of SET
ing.unitn.itExtended Abstract by Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson, and Piero Tramontano.
Extended Abstract by Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson, and Piero Tramontano.