Search alternatives:
"pragmatism" » "pragmatic", "pragmatics"
Cover Image
Read Now

1
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... -- Applying formal proof techniques to avionics software: a pragmatic approach -- Secure synthesis of code: a...”