Specification -- Formal Specification and Verification (lecture and exercises) | |
|
|
About Specification | |
To see the collection of prior postings to the list, visit the Specification Archives. (The current archive is only available to the list members.) |
|
Using Specification | |
To post a message to all the list members, send email to
specification@informatik.uibk.ac.at.
You can subscribe to the list, or change your existing subscription, in the sections below. |
|
Subscribing to Specification | |
Subscribe to Specification 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. | |
Specification Subscribers | |
|
version 2.1.15 |