S. Akshay | lit.salon

Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

S. Akshay | lit.salon

S. Akshay

No bio available. Add one in Open Library.

Books by S. Akshay (50 max)

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part-II

2025

S. Akshay, Aina Niemetz, Sriram Sankaranarayanan