Search alternatives:
22computational methods » computational methods, computational method, computation methods
Cover Image
Read Now

1
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... developments -- Quantitative analysis of an application of formal methods -- Applying the B technologies...”