Title: Software engineering with B
First published: 1996
Description: Specifying, designing and implementing software with the B formal method.
Subjects: Software engineering, B (Computer program language), software specification, software design, software implementation
LC classification: QA76.73.B155 W67 1996