Publications & Reports

About us

Filter by

Filtered (19)

Filters

Type

Annual Report (5)
Policy (1)
Conference Papers (60)
PhD Thesis (6)
Journal Paper (8)
Report (6)

Show (19)

Cancel

Filtered (19)

Filters

Year

2023 (16)
2022 (11)
2021 (17)
2020 (17)
2019 (9)
2018 (4)
2017 (3)
2024 (8)
2025 (1)
2026 (0)

Show (19)

Cancel

A Formalization of SQL with Nulls.

Wilmer Ricciotti and James Cheney.

Journal of Automated Reasoning 66, 989–1030. 2022

Previous 12

Email: contact@vetss.org.uk

The Research Institute on
Verified Trustworthy Software Systems

Contact us

Privacy Policy
Cookie Policy
EDI Statement
Accessibility Policy

About us
Publications
News
Events

Page load link

We use cookies to ensure that we give you the best experience on our website. If you continue to use this site we will assume that you are happy with it.Ok No Privacy policy

Go to Top

Publications & Reports

Filter by

A Formalization of SQL with Nulls.

The Research Institute on Verified Trustworthy Software Systems

The Research Institute on Verified Trustworthy Software Systems

The Research Institute on
Verified Trustworthy Software Systems

The Research Institute on
Verified Trustworthy Software Systems