TAVer -- Theoretical Aspects of Verification | |
|
|
About TAVer | |
This mailing list is to announce and coordinate a series of meetings where we present important papers in the area of formal verification. To see the collection of prior postings to the list, visit the TAVer Archives. |
|
Using TAVer | |
To post a message to all the list members, send email to
taver@software.imdea.org.
You can subscribe to the list, or change your existing subscription, in the sections below. |
|
Subscribing to TAVer | |
Subscribe to TAVer 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. | |
TAVer Subscribers | |
|
version 2.1.29 |