1
Publicado em 2015
Sumário: ... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2007
Sumário: ... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2008
Sumário: ... (System Description) -- LogAnswer - A Deduction-Based Question Answering System (System Description) -- A...
Obter o texto integral
Recurso Electrónico livro electrónico