Towards Formal Verification of ToolBus Scripts (2008)

by Wan Fokkink , Paul Klint, Bert Lisser , Yaroslav S. Usenko
Citations:2 - 1 self