Dagstuhl Logics published presentations and documents on DocSlides.
Mayur Naik. Georgia Tech. Xin. Zhang. (Georgia T...
for . Proving Serializability . with . Applicatio...
for . Proving Serializability . with . Applicatio...
Antoine . Miné. Jason . Breck. Thomas . Reps. Da...
Alice Allen. Astrophysics Source Code Library. as...
Program . Analysis. Xin Zhang. Georgia . Tech. Joi...
4E.Rigoni,S.Polesthebasisofdirectionsnotnecessaril...
Copyright © 2025 DocSlides. All Rights Reserved