Back to eBook Library
Computer Science Springer Nature
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Access: On-campus: direct access. Off-campus: sign in via Shibboleth (BDREN TigerFed).
See the Remote Access guide for off-campus sign-in.