Publisher of
ZB2003:
Organized by Abo Akademi University and TUCS
 |
 |
URL: http://www.tucs.fi/zb2003/
E-mail: zb2003@abo.fi
The 3rd International Conference
of B and Z
Users
4-6 June 2003, Turku, Finland
The 14th International Z
User MeetingThe 5th International Conference on the B Method
|
NEWS:
|