أرسل هذا في رسالة قصيرة: Industrial-strength formal methods in practice / Michael G. Hinchey and Jonathan P. Bowen, (eds.).