Journal of Logic and Algebraic Programming, Volume 69

Volume 69, Numbers 1-2, August-December 2006

• Mieke Massink, Diego Latella, Stefania Gnesi:
  On testing UML statecharts. 1-74
  
• L. Jason Steggles:
  Verifying an infinite systolic algorithm using third-order equational methods. 75-92
  
• Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine:
  Tree regular model checking: A simulation-based approach. 93-121