![[The University of Leicester]](unilogo.gif)
Papers to appear at FASE, FoSSaCS and ICST
Four papers by members of the department have recently been accepted to appear at high quality conferences on Software Engineering.
José Luiz Fiadeiro and Antonia Lopes. Consistency of Service Composition, 15th International Conference on Fundamental Approaches to Software
Engineering (FASE), Tallin, Estonia, March 2012
Alexander Kurz, Tomoyuki Suzuki and Emilio Tuosto. On nominal regular
languages with binders, 15th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Tallin, Estonia, March 2012
Stefan Kiefer, Andrzej Murawski, Joel Ouaknine, Bjoern Wachter and
James Worrell. On the Complexity of the Equivalence Problem for Probabilistic Automata, 15th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Tallin, Estonia, March 2012
Gordon Fraser, Neil Walkinshaw. Behaviourally Adequate Software Testing, The Fifth IEEE International Confence on Software Testing (ICST 2012), Montreal, Canada, April 2012.
