Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Isil Dillig | lit.salon

Author

Isil Dillig

2 works

2018–2019 across 2 dated works

No biography is available yet.

Start with

Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings2018
With Jens Palsberg
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II2019
With Serdar Tasiran

Books

2 works

Featured (2)Featured (2)All (2)All (2)

Search booksSort books

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II2019
With Serdar Tasiran
5 editions
shelves
0
reviews
0
lists
0
quotes
0
Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings2018
With Jens Palsberg
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 Isil Dillig.

The conversation is still open.

There is no public salon activity to show for Isil Dillig yet.