Book Review: Specification in B: an introduction using the B toolkit. Kevin Lano and Howard Haughton. Published by Imperial College Press and distributed by World Scientific Publishing, London, U.K., 1996. ISBN: 1-86094-018-8, 242 pages. Price: U.K. £17.00, soft cover.

Saved in:

Bibliographic Details
Title:	Book Review: Specification in B: an introduction using the B toolkit. Kevin Lano and Howard Haughton. Published by Imperial College Press and distributed by World Scientific Publishing, London, U.K., 1996. ISBN: 1-86094-018-8, 242 pages. Price: U.K. £17.00, soft cover.
Authors:	Waeselynck, Hélène¹
Source:	Software Testing: Verification & Reliability; Jun97, Vol. 7 Issue 2, p129-130, 2p
Database:	Applied Science & Technology Source

Description
ISSN:	09600833
DOI:	10.1002/(SICI)1099-1689(199706)7:2<129::AID-STVR132>3.0.CO;2-9