.

2010-05-30 18:27:28 +01:00 · 2010-05-30 18:27:28 +01:00 · dce410f1ed
commit dce410f1ed
parent 97e2f802b5
1 changed files with 1 additions and 1 deletions
--- a/introduction/introduction.tex
+++ b/introduction/introduction.tex
@ -2,7 +2,7 @@

 \section{Introduction}

-$$ \int_{0\-}^{\infty}  f(t).e^{-s.t}.dt  \; | \; s \in C$$
+$$ \int_{0\-}^{\infty}  f(t).e^{-s.t}.dt  \; | \; s \in \mathcal{C}$$

 This thesis describes the application of, mathematical (formal) techniques to
 the design of safety critical systems.