Shobha Vasudevan

Available identifiers

zbMath Open vasudevan.shobhaMaRDI QIDQ2848427

List of research outcomes

Publication	Date of Publication	Type
Automatic Verification of Arithmetic Circuits in RTL Using Stepwise Refinement of Term Rewriting Systems	2018-06-12	Paper
Efficient model checking of hardware using conditioned slicing	2013-09-26	Paper
A consistent theory of finite stretches and finite rotations, in space-curved beams of arbitrary cross-section	2003-06-02	Paper

Research outcomes over time

This page was built for person: Shobha Vasudevan