It looks like you're offline.

Last edited by ImportBot

January 27, 2022 | History

Edit

Rayna Dimitrova

We need a photo of Rayna Dimitrova

2 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Trending Random

Details Grid — Show only ebooks?

Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, on, Canada, January 15-16, 2024, Proceedings, Part I

by Rayna Dimitrova, Ori Lahav, and Sebastian Wolff First published in 2024
2 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers

by Roderick Bloem, Rayna Dimitrova, Chuchu Fan, and Natasha Sharygina First published in 2022
1 edition

Locate

My Reading Lists:

Create a new list

We need a photo of Rayna Dimitrova

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL10156271A

Links outside Open Library

No links yet. Add one?

Download catalog record: RDF / JSON