Distributed System Development in B


Butler, M. J. and Waldén, M., (1996) Distributed System Development in B Habrias, H. (ed.) At Proc. First B Conf.. , pp. 155-168.

Download

[img] Postscript bug.ps - Other
Download (186kB)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Address: Nantes, France
Venue - Dates: Proc. First B Conf., 1996-11-01
Organisations: Electronic & Software Systems
ePrint ID: 250580
Date :
Date Event
November 1996Published
Date Deposited: 14 Jun 1999
Last Modified: 18 Apr 2017 00:19
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250580

Actions (login required)

View Item View Item