Login / Signup

Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem.

Andreas BlassYuri GurevichDean RosenzweigBenjamin Rossman
Published in: Log. Methods Comput. Sci. (2007)
Keyphrases