Rezazadeh, Abdolbaghi and Butler, Michael (2005) Some Guidelines for Formal Development of Web-based Applications in B-Method. 4th International Conference of B and Z Users (ZB 2005), 13-15 April 2005.
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: 2005
Venue - Dates:
4th International Conference of B and Z Users (ZB 2005), 13-15 April 2005, 2005-01-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 260389
URI: http://eprints.soton.ac.uk/id/eprint/260389
PURE UUID: e1a76207-52ce-4651-a23b-330532983bfb
Catalogue record
Date deposited: 27 Jan 2005
Last modified: 15 Mar 2024 03:17
Export record
Contributors
Author:
Abdolbaghi Rezazadeh
Author:
Michael Butler
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.