Alexey Gotsman
Alexey Gotsman
2 books in the database
Books
Logics and analyses for concurrent heap-manipulating programsAlexey Gotsman
Logics and analyses for concurrent heap-manipulating programs
Alexey Gotsman · 2009
Formal Techniques for Distributed Objects, Components, and SystemsAlexey Gotsman
Formal Techniques for Distributed Objects, Components, and Systems
Alexey Gotsman · 2020