Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Serdar Tasiran | lit.salon

Author

Serdar Tasiran

3 works

2013–2024 across 3 dated works

No biography is available yet.

Start with

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers2013
With Shaz Qadeer
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II2019
With Isil Dillig
Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers2024
With Andrew Reynolds

Books

3 works

Featured (3)Featured (3)All (3)All (3)

Search booksSort books

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II2019
With Isil Dillig
5 editions
shelves
0
reviews
0
lists
0
quotes
0
Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers2013
With Shaz Qadeer
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers2024
With Andrew Reynolds
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Serdar Tasiran.

The conversation is still open.

There is no public salon activity to show for Serdar Tasiran yet.