Login / Signup
Shaurya Gomber
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Abstract Interpretation
Web Search Engines
Business Rules
Termination Analysis
Top Venues
CoRR
</>
Publications
</>
Yasmin Sarita
,
Avaljot Singh
,
Shaurya Gomber
,
Gagandeep Singh
,
Mahesh Vishwanathan
Syndicate: Synergistic Synthesis of Ranking Function and Invariants for Termination Analysis.
CoRR
(2024)