It looks like you're offline.
Donate
♥
English (en)
العربية (ar)
Čeština (cs)
Deutsch (de)
English (en)
Español (es)
Français (fr)
हिंदी (hi)
Hrvatski (hr)
Italiano (it)
Português (pt)
Română (ro)
Sardu (sc)
తెలుగు (te)
Українська (uk)
中文 (zh)
My Books
Browse
Menu
Subjects
Trending
Library Explorer
Lists
Collections
K-12 Student Library
Book Talks
Random Book
Advanced Search
All
All
Title
Author
Text
Subject
Lists
Advanced
Log In
Sign Up
My Open Library
Log In
Sign Up
Browse
Subjects
Trending
Library Explorer
Lists
Collections
K-12 Student Library
Book Talks
Random Book
Advanced Search
Contribute
Add a Book
Recent Community Edits
Resources
Help & Support
Developer Center
Librarians Portal
My Books
Browse
Menu
Subjects
Trending
Library Explorer
Lists
Collections
K-12 Student Library
Book Talks
Random Book
Advanced Search
Last edited by
ImportBot
January 27, 2022 |
History
Edit
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
✓
Add to List
Remove From Shelf
Want to Read
Currently Reading
Already Read
My Reading Lists:
Create a new list
Create a new list
×
Close
Name:
Description:
Create new list
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
✓
Add to List
Remove From Shelf
Want to Read
Currently Reading
Already Read
My Reading Lists:
Create a new list
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