1:18:14
A Compositional Method for Verifying Software Transactional Memory
Microsoft Research
81 views
View & DownloadMicrosoft Research
81 views
View & DownloadPhilipp Hagenlocher
10.6K views
View & DownloadJPoint, Joker и JUG ru — Java-конференции
2.7K views
View & Download