X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/be86a872232e7b76d1eefb503ab8a9dbb0555d9e..7602da8369400d57d81c4dccd3f05071547d7850:/mmath.m4?ds=sidebyside
diff --git a/mmath.m4 b/mmath.m4
index 905f2e5..e2fb23b 100644
--- a/mmath.m4
+++ b/mmath.m4
@@ -2,7 +2,6 @@ dnl -*- html -*-
define(__title, `Master of Mathematics')dnl
define(__slug, `mmath')dnl
include(header.html)dnl
-define(__latex, `LaTeX')dnl
Master of Mathematics
@@ -12,7 +11,7 @@ the degree of Master of Mathematics in Computer Science in Spring
2020. My research at the Waterloo
Formal Methods group focused on formal logic, model checking, and
verification; under supervision of
-Dr. Nancy Day.
+Declarative behavioural modelling is a powerful modelling paradigm that enables users to model system functionality abstractly and @@ -69,9 +69,10 @@ may be most suited for modelling their system, we present recommendations based on our observations about the differentiating characteristics of each of these languages.
This thesis is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by @@ -86,6 +87,7 @@ GNU General Public License for more details. You should have received a copy of the GNU General Public License along with this thesis. If not, see <https://www.gnu.org/licenses/>.+
A copy of the GNU General Public License is available from gpl-3.0.html, as well as in