×

zbMATH — the first resource for mathematics

Seshia, Sanjit Arunkumar

Compute Distance To:
Author ID: seshia.sanjit-arunkumar
Published as: Seshia, Sanjit A.; Seshia, Sanjit Arunkumar
Documents Indexed: 40 Publications since 2002, including 3 Books

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription