Shubham -

Registered user since Thu 13 Nov 2025

Name:Shubham

Personal website: https://www.linkedin.com/in/shubham-972a79134/

GitHub: https://github.com/prophet1906

Contributions

2026

ISEC

Author of Formal verification of distributed, data-intensive microservice applications using Petri Nets within the Doctoral Symposium-track