tobast/m1-internship-report
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Enhance a little bit conclusion

Browse source
This commit is contained in:
Théophile Bastian 2017-08-28 10:28:11 +02:00
parent a89ba72d6d
commit ca21ecf0ff
2 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
common/refs.bib
View file

@ -54,7 +54,7 @@
} }
@misc{seger1993vos, @misc{seger1993vos,
title={Vos: A Formal Hardware Verification System User's Guide}, title={Voss: A Formal Hardware Verification System User's Guide},
author={Seger, Carl-Johan H}, author={Seger, Carl-Johan H},
year={1993}, year={1993},
publisher={University of British Columbia. Department of Computer Science} publisher={University of British Columbia. Department of Computer Science}

5
report/report.tex
View file

@ -852,8 +852,9 @@ my C++, which I had left behind for some time; and forced me to try to have a
code as clean as possible, challenging me on small details that were easy to code as clean as possible, challenging me on small details that were easy to
implement, but hard to implement in an understandable way. implement, but hard to implement in an understandable way.
It also diversified my experience with labs, since my only other experience was It also diversified my experience as a student in laboratories, since my only
from my L3's internship in Cambridge. other experience was from my 3rd year of Bachelor's degree internship in
Cambridge.
\todo{find better} \todo{find better}