Towards Formal Verification of ToolBusScripts

W.J. Fokkink, P. Klint, B. Lisser, Y.S. Usenko

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)160-166
JournalLecture Notes in Computer Science
Publication statusPublished - 2008

Bibliographical note

Proceedings title: Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings
Publisher: Springer
Editors: J. Meseguer, G. Rosu

Cite this