Prob-users -- Forum to discuss usage of the ProB toolkit for the B-method | |
|
|
About Prob-users | |
To see the collection of prior postings to the list, visit the Prob-users Archives. |
|
Using Prob-users | |
To post a message to all the list members, send email to
prob-users@ecs.soton.ac.uk.
You can subscribe to the list, or change your existing subscription, in the sections below. |
|
Subscribing to Prob-users | |
Subscribe to Prob-users by sending an email with the word 'subscribe' in the subject or body to prob-users-request@ecs.soton.ac.uk. |
![]() version 2.1.9 |
![]() |
![]() |