Alexey Gotsman

Identifiers

Internet Archivelogicsanalysesfo0000gots
Open LibraryOL9880575A

Top Subjects

Verification (1)
Programming languages (Electronic computers) (1)
Computer software (1)
Artificial intelligence (1)
Computer programming (1)
Computer software, development (1)
Computer networks (1)

Books by Alexey Gotsman

Total count: 2

Logics and analyses for concurrent heap-manipulating programs

British Computer Society2009-01-01
Formal Techniques for Distributed Objects, Components, and Systems40th 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, Proceedings

Springer2020-01-01