Citation
Beth Isaksen, Valeria Bertacco. "Verification through the principle of least astonishment". ICCAD 2006, November, 2006.

Abstract
(No abstract.)

Electronic downloads

• iccad06_the_final_version.pdf · application/pdf · 313 kbytes

Citation formats

• HTML

  Beth Isaksen, Valeria Bertacco. <a
  href="http://www.gigascale.org/pubs/949.html">Verification
  through the principle of least astonishment</a>, ICCAD
  2006, November, 2006.

• Plain text

  Beth Isaksen, Valeria Bertacco. "Verification through the
  principle of least astonishment". ICCAD 2006, November, 2006.

• BibTeX

  @inproceedings{IsaksenBertacco06_VerificationThroughPrincipleOfLeastAstonishment,
      author = {Beth Isaksen and Valeria Bertacco},
      title = {Verification through the principle of least
                astonishment},
      booktitle = {ICCAD 2006},
      month = {November},
      year = {2006},
      abstract = {(No abstract.)},
      URL = {http://www.gigascale.org/pubs/949.html}
  }
  

Posted by Beth Isaksen on 14 Nov 2006..

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.