Development of Safety Critical Software with the B Method

by P. Behm,
P. Benoit,
A. Faivre,
C. Milonnet,



Abstract: DataNotAvailable

Subject Headings: Safety | Computer software

Services: Buy this book/Buy this article

 

Return to search