Menu
Home
Help and information
About this website
Privacy Policy
Alexey Gotsman
1 published title
Logics and analyses for concurrent heap-manipulating programs
1 edition
ISBN: 9781906124830
British Computer Society
2009
Details