Piton a mechanically verified assembly-level language / by J. Strother Moore.

Bibliographic Details
Main Author: Moore, J Strother, 1947-
Corporate Author: NetLibrary, Inc.
Format: Book
Language:English
Published: Dordrecht ; Boston : Kluwer Academic Publishers, c1996.
Series:Automated reasoning series ; v. 3
Subjects:
Online Access:CONNECT