From c7551bb65191d174c8a356de27d0bd00b65172c2 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Fri, 6 Apr 2018 13:11:01 +0100
Subject: [PATCH] Update 2018-03-14-formal-methods-meets-js.md

-- 
GitLab