Towards the application of formal methods in process engineering

Publication
Fun With Formal Methods