Distributed System Development in B

Butler, M. J. and Waldén, M. (1996) Distributed System Development in B. In, Proc. First B Conf. IRIN (Institut de Recherche en Informatique de Nantes), 155-168.


[img] Postscript
Download (181Kb)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Address: Nantes, France
ISBNs: 2906082252
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 250580
Date Deposited: 14 Jun 1999
Last Modified: 27 Mar 2014 19:51
Publisher: IRIN (Institut de Recherche en Informatique de Nantes)
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250580

Actions (login required)

View Item View Item