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. In, 4th International Conference of B and Z Users (ZB 2005), 13-15 April 2005,

Download

[img] PDF
Download (195Kb)
Item Type: Conference or Workshop Item (Paper)
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 260389
Date Deposited: 27 Jan 2005
Last Modified: 27 Mar 2014 20:03
Further Information:Google Scholar
ISI Citation Count:5
URI: http://eprints.soton.ac.uk/id/eprint/260389

Actions (login required)

View Item View Item