J. Fiadeiro
First name(s): J.
Last name(s): Fiadeiro

Publications of J. Fiadeiro
2007
Klaus Lüttich and Till Mossakowski, Reasoning Support for CASL with Automated Theorem Proving Systems, in: WADT 2006, pages 74-91, Springer-Verlag Heidelberg, 2007
download