Making Sense of Specifications: the Formalization of SET



All Links

Share this:

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.