Towards the application of formal methods in process engineering

Sidi Mohamed Beillahi, Umair Siddique, Sofiéne Tahar
January 2014
PDF
Type
Conference paper
Publication
Fun With Formal Methods