Author:
Bouissou Olivier,Seladji Yassamine,Chapoutot Alexandre
Subject
General Computer Science,Theoretical Computer Science
Reference23 articles.
1. FAST: acceleration from theory to practice;Bardin;Journal on Software Tools for Technology Transfer,2008
2. Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software;Blanchet,2002
3. A Static Analyzer for Large Safety-Critical Software;Blanchet,2003
4. Bourdoncle, F., Efficient chaotic iteration strategies with widenings, in: International Conference on Formal Methods in Programming and their Applications (1993), pp. 128–141.
5. Extrapolation Methods-Theory and Practice;Brezinski,1991
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献