|Ufmrg -- Usable Formal Methods Research Group
Usable Formal Methods Research Group
To see the collection of prior postings to the list, visit the Ufmrg Archives.
To post a message to all the list members, send email to
You can subscribe to the list, or change your existing subscription, in the sections below.
|Subscribing to Ufmrg
Subscribe to Ufmrg by filling out the following form. You will be sent email requesting confirmation, to prevent others from gratuitously subscribing you. This is a private list, which means that the list of members is not available to non-members.