Bernd Kräer
-
Prototyping and formal analysis of concurrent and distributed systems
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design