Skip to main content

RISC

Home
More

English ‎(en)‎

Deutsch ‎(de)‎ English ‎(en)‎

You are currently using guest access

Log in

RISC

Expand all Collapse all

FMARSemSS23
Formalisation of Relational Algebra and a SQL-like Language with the RISCAL Model Checker

Formalisation of Relational Algebra and a SQL-like Language with the RISCAL Model Checker

Completion requirements

PDF

Click main.pdf link to view the file.

You are currently using guest access (Log in)

Data retention summary

Get the mobile app

Powered by Moodle