Skip to content
Snippets Groups Projects
Commit 00086bf3 authored by Thomas Wood's avatar Thomas Wood
Browse files

Gardner2000Explicit / Wischik2005Explicit, add/rename pdfs.

parent 414e9f1c
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Gardner2000Explicit.pdf
+ 0
− 0
View file @ 00086bf3
No preview for this file type
Wischik2005Explicit.pdf 0 → 100644
+ 0
− 0
View file @ 00086bf3
File added
publications.bib
+ 3
− 0
View file @ 00086bf3
...@@ -265,7 +265,9 @@ We present JSCert, a formalisation of the current ECMA standard in the Coq proof ...@@ -265,7 +265,9 @@ We present JSCert, a formalisation of the current ECMA standard in the Coq proof
volume = {340}, volume = {340},
number = {3}, number = {3},
pages = {606--630}, pages = {606--630},
month = aug,
doi = {10.1016/j.tcs.2005.03.017}, doi = {10.1016/j.tcs.2005.03.017},
file = {Wischik2005Explicit.pdf:Wischik2005Explicit.pdf:PDF},
} }
@Proceedings{Koenig2005Graph, @Proceedings{Koenig2005Graph,
...@@ -354,6 +356,7 @@ We present JSCert, a formalisation of the current ECMA standard in the Coq proof ...@@ -354,6 +356,7 @@ We present JSCert, a formalisation of the current ECMA standard in the Coq proof
volume = {1893}, volume = {1893},
series = {Lecture Notes in Computer Science}, series = {Lecture Notes in Computer Science},
pages = {373--382}, pages = {373--382},
month = aug,
publisher = {Springer}, publisher = {Springer},
doi = {10.1007/3-540-44612-5_33}, doi = {10.1007/3-540-44612-5_33},
file = {Gardner2000Explicit.pdf:Gardner2000Explicit.pdf:PDF}, file = {Gardner2000Explicit.pdf:Gardner2000Explicit.pdf:PDF},
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment