Specification in B: An Introduction Using the B Toolkit

by: Howard Haughton · Kevin Lano

Hardcover

details (United Kingdom).

ISBN: 978-1-86094-008-8

ISBN-10: 1-86094-008-0

Imperial College Press · 1996