Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Alexey Gotsman | lit.salon

Author

Alexey Gotsman

2 works

2009–2020 across 2 dated works

No biography is available yet.

Start with

Logics and analyses for concurrent heap-manipulating programs2009
Formal Techniques for Distributed Objects, Components, and Systems 40th IFIP WG 6. 1 International Conference, FORTE 2020, Held As Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings2020
With Ana Sokolova

Books

2 works

Featured (2)Featured (2)All (2)All (2)

Search booksSort books

Logics and analyses for concurrent heap-manipulating programs2009
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Formal Techniques for Distributed Objects, Components, and Systems 40th IFIP WG 6. 1 International Conference, FORTE 2020, Held As Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings2020
With Ana Sokolova
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Alexey Gotsman.

The conversation is still open.

There is no public salon activity to show for Alexey Gotsman yet.