(1 - 36 from 48
)
ACCEPTED SHORT PAPERS
www.macs.hw.ac.uk
... SAD, a System for Automated Deduction; Tanja Vos (Valencia, Spain) and Doaitse Swierstra (Utrecht,NL): Inductive data types with negative occurences in HOL.
Thirty Five years of Automath
www.macs.hw.ac.uk
Ms Tanja Vos. Instituto Tecnologico de Informatica, Universidad Politecnica de Valencia, Camino de Vera s/n Valencia (Spain). Tel.
SSBSE : International Symposium on Search Based Software ...
www.wikicfp.com
Tanja Vos, Instituto Tecnológico de Informática, Spain Westley Weimer, University of Virginia, USA Yuanyaun Zhang, University College London, UK ============================================================ ...
ICST : 6th IEEE International Conference on Software Testing ...
www.wikicfp.com
Per Runeson, Lund University, Sweden - Testing Tools Track Chair Manuel Oriol, ABB, Switzerland - Poster Chairs Roland Groz, LSR-IMAG, France Tanja Vos, Universidad Politecnica de Valencia, Spain - Publication Chair Martin Monperrus ...
sorted by relevance / date