X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/60d1cae9374d09398e12f0b6239092e4d0b3eb76..e30d4988385bf8a631468f031291a1e9babdf17f:/publications.html
diff --git a/publications.html b/publications.html
index 0970fa9..9743e5a 100644
--- a/publications.html
+++ b/publications.html
@@ -3,7 +3,7 @@
- bandali's publications
+ Amin Bandali's Publications
@@ -12,7 +12,7 @@
@@ -29,10 +29,17 @@
A Comparison of the Declarative Modelling Languages B,
Dash, and TLA+
- (pdf,
- bib,
- doi,
- models)
+
+ [
+ pdf
+ |
+ bib
+ |
+ doi
+ |
+ models
+ ]
+
Ali Abbassi,
@@ -52,12 +59,17 @@
-
The Magic of Specifications and Type Systems
- (slides,
+
+ [
+ slides
+ |
poster)
+York University, Toronto, Canada, August 15, 2017">poster
+ ]
+
-
Amin Bandali,