X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/fcc5b13a58e980e00772e664d12f24690328069d..06611295e7000b1f22c4af109cb6ddb476cc97ad:/mmath.m4?ds=sidebyside
diff --git a/mmath.m4 b/mmath.m4
index 561b179..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.
Reference version:
pdf |
-bib
+bib
__latex sources:
tar.gz |
zip
+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