Automated translation and analysis of a ToolBus script for auctions

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

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)308-323
JournalLecture Notes in Computer Science
Publication statusPublished - 2009

Bibliographical note

Proceedings title: Proc. 3rd Symposium on Fundamentals of Software Engineering - FSEN'09
Publisher: Springer

Cite this