Formal Verification of Programs for Abstract Register Machines
Bulletin of the Novosibirsk Computing Center. Series:Computer Science
doi 10.31144/bncc.cs.2542-1972.2013.n35.p39-56
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 2013
Authors
Publisher
A.P. Ershov Institute of Informatics Systems SB RAS