Versatile Formal Methods Applied to Quantum Information. [electronic resource]

Saved in:

Bibliographic Details
Online Access:	Online Access (via OSTI)
Corporate Author:	Sandia National Laboratories (Researcher)
Format:	Government Document Electronic eBook
Language:	English
Published:	Washington, D.C. : Oak Ridge, Tenn. : United States. National Nuclear Security Administration ; distributed by the Office of Scientific and Technical Information, U.S. Department of Energy, 2015.
Subjects:	Mathematics And Computing.

Internet

Online Access (via OSTI)

Holdings details from Online
Call Number:	E 1.99:sand--2015-9617r
E 1.99:sand--2015-9617r	Available