VAS -- VAS research group mailing list. | |
|
|
About VAS | |
This is the mailing list of the verification of autonomous systems (VAS).
To see the collection of prior postings to the list, visit the VAS Archives. (The current archive is only available to the list members.) |
|
Using VAS | |
To post a message to all the list members, send email to
vas@imperial.ac.uk.
You can subscribe to the list, or change your existing subscription, in the sections below. |