Summary
Theoretical Aspects of Verification
This mailing list is to announce and coordinate a series of meetings where we present important papers in the area of formal verification.
To contact the list owners, use the following email address: taver-owner@software.imdea.org
Archives
Subscription / Unsubscription
To subscribe or unsubscribe from this list, please log in first. If you have not previously logged in, you may need to set up an account with the appropriate email address.
You can also subscribe without creating an account. If you wish to do so, please use the form below.