Login / Signup
Ajay Krishna
Publication Activity (10 Years)
Years Active: 2016-2022
Publications (10 Years): 13
Top Topics
Business Process
Workflow Model
Ws Bpel
Automated Analysis
Top Venues
ICSE (Companion Volume)
FormaliSE@ICSE
IOT
SAC
</>
Publications
</>