Internet Programming: SET: Making Sense of Specifications: the Formalization of SET

Submitted: Sat Sep 06 2003
Title: Internet Programming: SET: Making Sense of Specifications: the Formalization of SET
URL: http://www.ing.unitn.it/~massacci/papers/bell-mass-paul-tram-00-IWSP.pdf

Description: Extended Abstract by Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson, and Piero Tramontano.

HOME | ADD A LINK | MODIFY A LINK | LOGIN