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

1
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... -- Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency -- Constraint Logic...”