8th International Workshop on ACL2 Theorem Prover and its Applications 2009 : Boston, Massachusetts, USA, 11-12, May, 2009

CiNii Available at 1 libraries

Bibliographic Information

Title
"8th International Workshop on ACL2 Theorem Prover and its Applications 2009 : Boston, Massachusetts, USA, 11-12, May, 2009"
Publisher
  • Association for Computing Machinery
Publication Year
  • c2009
Book size
28 cm

Search this Book/Journal

Notes

Includes bibliographical references

Related Books

See more

Details 詳細情報について

Back to top