Author:
Hutter Dieter,Mantel Heiko,Schaefer Ina,Schairer Axel
Subject
Applied Mathematics,Logic
Reference46 articles.
1. VSE: formal methods meet industrial needs;Autexier;Internat. J. Software Tools Technol. Transfer,2000
2. Rippling: Meta-level Guidance for Mathematical Reasoning;Bundy,2005
3. Consumer Behaviour;Blackwell,2002
4. A. Bossi, D. Macedonio, C. Piazza, S. Rossi, Secure contexts for confidential data, in: Proceedings of the IEEE Computer Security Foundations Workshop, 2003, pp. 14–25
5. Consumer Behavior;Engel,1968
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献