TitleVerifying Temporal Properties of Reactive Systems by Transformation
Publication TypeWorkshop Paper
Year of Publication2015
AuthorsHamilton G