cbc -- Correctness by Construction course | |
|
|
About cbc | |
To see the collection of prior postings to the list, visit the cbc Archives. (The current archive is only available to the list members.) |
|
Using cbc | |
To post a message to all the list members, send email to
cbc@software.imdea.org.
You can subscribe to the list, or change your existing subscription, in the sections below. |
|
Subscribing to cbc | |
Subscribe to cbc by filling out the following form. You will be sent email requesting confirmation, to prevent others from gratuitously subscribing you. This is a hidden list, which means that the list of members is available only to the list administrator. | |
cbc Subscribers | |
|
version 2.1.29 |