Author:
Basu Sanat K.,Misra Jayadev
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Polynomial Invariants by Linear Algebra;Automated Technology for Verification and Analysis;2016
2. Invariant relations, invariant functions, and loop functions;Innovations in Systems and Software Engineering;2012-08-14
3. Reflexive transitive invariant relations: A basis for computing loop functions;Journal of Symbolic Computation;2010-11
4. Bibliography;Software Error Detection through Testing and Analysis;2008-10-28
5. A Refinement Based Framework for Computing Loop Behavior;31st IEEE Software Engineering Workshop (SEW 2007);2007-03