Some Guidelines for Formal Development of Web-based Applications in B-Method


Rezazadeh, Abdolbaghi and Butler, Michael (2005) Some Guidelines for Formal Development of Web-based Applications in B-Method At 4th International Conference of B and Z Users (ZB 2005).

Download

[img] PDF Guidelines.pdf - Other
Download (200kB)
Item Type: Conference or Workshop Item (Paper)
Venue - Dates: 4th International Conference of B and Z Users (ZB 2005), 2005-01-01
Organisations: Electronic & Software Systems
ePrint ID: 260389
Date :
Date Event
2005Published
Date Deposited: 27 Jan 2005
Last Modified: 17 Apr 2017 22:15
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/260389

Actions (login required)

View Item View Item