Y.S.: Towards formal verification of ToolBus scripts (2008)

by W Fokkink, P Klint, B Lisser, Usenko
Venue:In: Proc. AMAST’08. Volume 5140 of LNCS