Detailed Information
URL: http://www.tucs.fi/zb2003/Title: ZB2003
Description: The 3rd International Conference of B and Z Users, 4-6 June 2003, Turku, Finland. The 14th International Z User Meeting, The 5th International Conference on the B Method. Theme, speakers, call for papers, submissions, location, committees, tools and exhibitions.
Directory: Computers/Programming/Languages/Z
|