221 followers
A wide-spectrum language for verification of programs on weak memory models https://t.co/EU0Ew18f7F
A wide-spectrum language for verification of programs on weak memory models https://t.co/EU0Ew18f7F
A wide-spectrum language for verification of programs on weak memory models. https://t.co/ykXTnsoM1Z
"A wide-spectrum language for verification of programs on weak memory models. (arXiv:1802.04406v1 [cs.LO])" #arXiv https://t.co/79aUqAscOf