From ca21ecf0ff74ecdc232a9d392db28f134dd81277 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9ophile=20Bastian?= Date: Mon, 28 Aug 2017 10:28:11 +0200 Subject: [PATCH] Enhance a little bit conclusion --- common/refs.bib | 2 +- report/report.tex | 5 +++-- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/common/refs.bib b/common/refs.bib index 5afe8ea..def4768 100644 --- a/common/refs.bib +++ b/common/refs.bib @@ -54,7 +54,7 @@ } @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}, year={1993}, publisher={University of British Columbia. Department of Computer Science} diff --git a/report/report.tex b/report/report.tex index f8fa8e1..7e79964 100644 --- a/report/report.tex +++ b/report/report.tex @@ -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 implement, but hard to implement in an understandable way. -It also diversified my experience with labs, since my only other experience was -from my L3's internship in Cambridge. +It also diversified my experience as a student in laboratories, since my only +other experience was from my 3rd year of Bachelor's degree internship in +Cambridge. \todo{find better}