B. D. Lubachevsky

B.-D ยท B. L.

titleISBN-13
(ISBN-10)
year of publication
An Approach to Automating the Verification of Compact Parallel Coordination Programs, Vol. 1978-O-266-9OO92-4
(O-266-9OO92-5)
2018

B. D. McCullough