Premium
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.
Author(s) -
Waeselynck Hélène
Publication year - 1997
Publication title -
software testing, verification and reliability
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.216
H-Index - 49
eISSN - 1099-1689
pISSN - 0960-0833
DOI - 10.1002/(sici)1099-1689(199706)7:2<129::aid-stvr132>3.0.co;2-9
Subject(s) - publishing , citation , library science , scientific publishing , computer science , art history , history , political science , law