X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/da14228658fc24331843063c2cbcc01b3deeb0e2..e080516ce6defaf997bcc5b54bf380044c65ebd2:/publications.html?ds=sidebyside
diff --git a/publications.html b/publications.html
index d842230..1c6da5c 100644
--- a/publications.html
+++ b/publications.html
@@ -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,