Subcategories 1
Sites 1
Making Sense of Specifications: the Formalization of SET
Extended Abstract by Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson, and Piero Tramontano.
[PDF]
Last update:
January 2, 2007 at 19:58:32 UTC