Verification through the principle of least astonishment

@inproceedings{Isaksen2006VerificationTT,
  title={Verification through the principle of least astonishment},
  author={Beth Isaksen and Valeria Bertacco},
  booktitle={ICCAD},
  year={2006}
}

From This Paper

Topics from this paper.
11 Citations
0 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 11 extracted citations

Similar Papers

Loading similar papers…