Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions

Request a copy of the file

Enter the following information to request a copy for the following item: Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions

Requesting all files.

Name *

Your e-mail address * This email address is used for sending the file.

Files

All files (of this item) in restricted access

Only the requested file

Message

Back