Concepedia

Sanu Subramanian

SS

1

Publications

45

Citations

1

H-Index

2016

Active since

Affiliations

University of Waterloo(Current)

Sanu Subramanian is an author at University of Waterloo specializing in engineering, formal methods, and computer science.

Top concepts

Publications per year

2016–2016

1

Publications

1

Z3str2: an efficient solver for strings, regular expressions, and length constraints

Yunhui Zheng, Vijay Ganesh, Sanu Subramanian et al. · Formal Methods in System Design · 2016 · 45 citations

, , +12

Rows per page

1–1 of 1