Start gathering references

2017-06-28 19:04:52 +02:00 · 2017-06-28 19:04:52 +02:00 · 1f340b3d15
parent 4b9d599a5e
commit 1f340b3d15
1 changed files with 18 additions and 0 deletions
--- a/common/refs.bib
+++ b/common/refs.bib
@ -0,0 +1,18 @@
+@article{pratt1995fdiv,
+  title={Anatomy of the Pentium bug},
+  author={Pratt, Vaughan},
+  journal={TAPSOFT'95: Theory and Practice of Software Development},
+  pages={97--107},
+  year={1995},
+  publisher={Springer}
+}
+
+@inproceedings{harrison2003formal,
+  title={Formal verification at intel},
+  author={Harrison, John},
+  booktitle={Logic in Computer Science, 2003. Proceedings. 18th Annual IEEE Symposium on},
+  pages={45--54},
+  year={2003},
+  organization={IEEE}
+}
+