- Home
- Computer
- Programming
- Making Sense of Specifications: the Formalization of SET
Computer · Programming
Making Sense of Specifications: the Formalization of SET
Listed in the directory · updated 20 Jul 2022
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.