Alexey Gotsman
Alexey Gotsman
2 ספרים במאגר
ספרים
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