Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods.

Heike Wehrheim

Browse the full FASE paper archive.