answersLogoWhite

0

Philip John Clarke has written:

'A formal methodology for the verification of concurrent systems'

User Avatar

Wiki User

10y ago

What else can I help you with?