Publications

of Erika Ábrahám

Books and proceedings

  1. Erika Ábrahám and Klaus Havelund, editors. Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings, volume 8413 of Lecture Notes in Computer Science, 2014. Springer. ISBN: 978-3-642-54861-1. [WWW] [doi:10.1007/978-3-642-54862-8]

BACK TO INDEX