Login / Signup

Higher-order linearisability.

Andrzej S. MurawskiNikos Tzevelekos
Published in: J. Log. Algebraic Methods Program. (2019)
Keyphrases