Author of the publication

Z2SAL - Building a Model Checker for Z.

, , and . ABZ, volume 5238 of Lecture Notes in Computer Science, page 280-293. Springer, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Z2SAL: a translation-based model checker for Z., , and . Formal Aspects Comput., 23 (1): 43-71 (2011)Z2SAL - Building a Model Checker for Z., , and . ABZ, volume 5238 of Lecture Notes in Computer Science, page 280-293. Springer, (2008)Open Source Software in the Desktop: The Perspective of the Public Administrations in UK., , , and . WEBIST (2), page 39-44. INSTICC Press, (2006)TwigStackPrime: A Novel Twig Join Algorithm Based on Prime Numbers., and . WEBIST (Revised Selected Papers), volume 322 of Lecture Notes in Business Information Processing, page 1-20. Springer, (2017)An Analysis of Relational Storage Strategies for Partially Structured XML., , and . WEBIST (1), page 165-170. INSTICC Press, (2008)Issues in Implementing a Model Checker for Z., , and . ICFEM, volume 4260 of Lecture Notes in Computer Science, page 678-696. Springer, (2006)Solving the Intractable Problem: Optimal Performance for Worst Case Scenarios in XML Twig Pattern Matching., and . IEEE Access, (2020)Incorporating Data into EFSM Inference., , , , and . SEFM, volume 11724 of Lecture Notes in Computer Science, page 257-272. Springer, (2019)Building a refinement checker for Z, , and . Refine@FM, volume 55 of EPTCS, page 37-52. (2011)XML Labels Compression using Prefix-encodings., and . WEBIST (1), page 69-75. SciTePress, (2016)