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]
![[Computer Mozilla]](../../../../img/moz/puter.gif)
Last update:
January 2, 2007 at 19:58:32 UTC