Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Kiran Adhikari
Verifying a Quantitative Relaxation of Linearizability via Refinement
International Journal on Software Tools for Technology Transfer
Information Systems
Software