From d7e330e6bf1c79b4d701f67c72237ceed3d9c1ca Mon Sep 17 00:00:00 2001 From: pmaksimo <p.maksimovic@imperial.ac.uk> Date: Sun, 21 Feb 2016 22:59:20 +0000 Subject: [PATCH] reblurb --- _research/javascript.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/_research/javascript.md b/_research/javascript.md index a5fb46f..afcf89e 100644 --- a/_research/javascript.md +++ b/_research/javascript.md @@ -36,5 +36,4 @@ JSIL to develop front-ends for the CBMC and Infer verification tools. <h4>Research Support</h4> This research is supported by the EPSRC/GCHQ grant <a href="http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/K032089/1" target="_blank">EP/K032089/1<a>: <a href="https://verificationinstitute.org/project/certified-verification-of-client-side-web-programs/" target="_blank">Certified Verification of Client-Side Web Programs</a> and the EPSRC programme grant <a href="http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/H008373/2" target="_blank">EP/H008373/2</a>: <a href="http://www.resourcereasoning.com/" target="_blank">Resource Reasoning</a>. We also -interact extensively with <a href="http://www.chargueraud.org/" target="_blank">Arthur Charguéraud</a>, <a href="https://www.irisa.fr/celtique/aschmitt/" target="_blank">Alan Schmitt</a> and <a href="http://people.irisa.fr/Martin.Bodin/index.html?lang=en" target="_blank">Martin Bodin<a/> of Inria, France. .....and I think they are supported by some -grant or other. \ No newline at end of file +interact extensively with <a href="http://www.chargueraud.org/" target="_blank">Arthur Charguéraud</a>, <a href="https://www.irisa.fr/celtique/aschmitt/" target="_blank">Alan Schmitt</a> and <a href="http://people.irisa.fr/Martin.Bodin/index.html?lang=en" target="_blank">Martin Bodin<a/> of Inria, who are supported by the <a href="http://ajacs.inria.fr/">AJACS</a> project. \ No newline at end of file -- GitLab