The Play-in/Play-out Approach and Tool: Specifying and Executing Behavioral Requirements

David Marelly, Harel Hillel, Kugler Rami

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Original languageAmerican English
Title of host publicationIsraeli Workshop on Programming Languages and Development Environments (PLE'02)
StatePublished - 2002

Bibliographical note

Place of conference:Israel

Cite this