Searching for authors named "Tilak Agerwala" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Assertion Graphs for Verifying and
by Synthesizing Programs Tr, Tilak Agerwala, Tilak Agerwala, Jayadev Misra, Jayadev Misra
…Assertion Graphs for Verifying and Synthesizing Programs by Tilak Agerwala Jayadev Misra TR 83…
Add To MetaCart

most topical field in software today: STRUCTURED PROGRAMMING
by Tilak Agerwala, Gerald Mason, Victor R. Basili, Terry Baker, Paul L. Hazan
… to solve design problems on a variety of microprocessors using actual hardware. Tilak Agerwala Electrical…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB