Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Valery Nepomniaschy
Formal Verification of Programs for Abstract Register Machines
Bulletin of the Novosibirsk Computing Center. Series:Computer Science