Author:
Bowen Jonathan P.,Hinchey Michael G.
Publisher
Springer Berlin Heidelberg
Reference58 articles.
1. Wiley Series on Parallel and Distributed Computing;A.E. Abdallah,2005
2. Abrial, J.-R.: The B-Bool: Assigning programs to meanings. Cambridge University Press, Cambridge (1996)
3. Barnett, M., Schulte, W.: Spying on components: A runtime verification technique. In: Workshop on Specification and Verification of Component-Based Systems, Technical Report TR 01-09a, Iowa State University, USA, pp. 7–13 (2001)
4. Berry, D.M.: Formal methods: The very idea — Some thoughts about why they work when they work. Science of Computer Programming 42(1), 11–27 (2002)
5. Synthese Library;E.W. Beth,1970
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献