Request a copy of the file

Enter the following information to request a copy for the following item: Relations as executable specifications: taming partiality and non-determinism using invariants

Requesting all files.

This email address is used for sending the file.
Files
Back