Publications : Cláudio LourençoBack
|||Arthur Charguéraud, Jean-Christophe Filliâtre, Cláudio Lourenço, and Mário Pereira. GOSPEL --- providing OCaml with a formal specification language. In Annabelle McIver and Maurice ter Beek, editors, FM 2019 23rd International Symposium on Formal Methods, Porto, Portugal, October 2019. [ bib | full text on HAL ]|
|||Cláudio Belo Lourenço, Maria João Frade, and Jorge Sousa Pinto. Formalizing single-assignment program verification: An adaptation-complete approach. In Peter Thiemann, editor, 25th European Symposium on Programming, pages 41--67. Springer, 2016. [ bib | DOI | http ]|
|||Cláudio Belo Lourenço, Si-Mohamed Lamraoui, Shin Nakajima, and Jorge Sousa Pinto. Studying verification conditions for imperative programs. Electronic Communication of the European Association of Software Science and Technology, 72, 2015. [ bib | http ]|
This page was generated by bibtex2html.