X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/ea39cfbe2bcedcc63c7d14bb0643064c5399e7a1..29f0d7b9e10f827c29213a40279b8a767c99d80b:/static/publications-partial.html
diff --git a/static/publications-partial.html b/static/publications-partial.html
index 8d5cf21..bcf502a 100644
--- a/static/publications-partial.html
+++ b/static/publications-partial.html
@@ -5,13 +5,13 @@
[4]
-Amin Bandali.
+Amin Bandali.
A Comprehensive Study of Declarative Modelling Languages.
MMath thesis, University of Waterloo, David R. Cheriton School of
Computer Science, July 2020.
http://hdl.handle.net/10012/16059 and
https://bndl.org/mmath.
-[ bib |
+[ bib |
http |
.pdf ]
@@ -24,14 +24,14 @@
[3]
|
-Ali Abbassi, Amin Bandali, Nancy A. Day, and José Serna.
+Ali Abbassi, Amin Bandali, Nancy A. Day, and José Serna.
A comparison of the declarative modelling languages B, Dash, and
TLA+.
In Ana Moreira, Gunter Mussbacher, João Araújo, and Pablo
Sánchez, editors, 8th IEEE International Model-Driven
Requirements Engineering Workshop, MoDRE@RE 2018, Banff, AB, Canada, August
20, 2018, pages 11–20. IEEE Computer Society, 2018.
-[ bib |
+[ bib |
http |
.pdf ]
@@ -44,11 +44,11 @@ Ali Abbassi, Amin Bandali, 2]
|
-Amin Bandali, Simon Hudon, and Jonathan S. Ostroff.
+Amin Bandali, Simon Hudon, and Jonathan S. Ostroff.
The magic of specifications and type systems.
Presented at the 2017 Lassonde Undergraduate Summer Student Research
Conference, York University, Toronto, Canada, August 2017.
-[ bib |
+[ bib |
poster ]
|
@@ -60,13 +60,13 @@ Ali Abbassi, Amin Bandali, 1]
-Amin Bandali, Simon Hudon, and Jonathan S. Ostroff.
+Amin Bandali, Simon Hudon, and Jonathan S. Ostroff.
The magic of specifications and type systems.
Presented at the Canadian Undergraduate Computer Science Conference
2017, University of Toronto, Canada, June 2017.
-[ bib |
+[ bib |
slides ]
|
-
\ No newline at end of file
+