Commit b7bb1be0 authored by POTTIER Francois's avatar POTTIER Francois

A little bit of related work.

parent 3200ae5d
......@@ -1976,6 +1976,19 @@
URL = "http://www.dcs.qmul.ac.uk/~ohearn/papers/permissions_paper.pdf",
}
@InProceedings{bouajjani-esparza-maler-97,
author = "Ahmed Bouajjani and Javier Esparza and Oded Maler",
title = "Reachability Analysis of Pushdown Automata:
Application to Model-Checking",
booktitle = concur,
pages = "135--150",
year = "1997",
URL = "http://www-verimag.imag.fr/~maler/Papers/pda.pdf",
series = lncs,
volume = "1243",
publisher = springer,
}
@Unpublished{boudol-castellani-01,
author = "Gérard Boudol and Ilaria Castellani",
title = "Non-interference for concurrent programs and thread
......@@ -3135,9 +3148,8 @@
@Misc{compcert,
author = "Xavier Leroy",
title = "The {CompCert} verified compiler, software and
commented proof",
year = "2014",
title = "The {CompCert C} compiler",
year = "2015",
howpublished = "\url{http://compcert.inria.fr/}",
}
......
Markdown is supported
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