Model Checking Database Applications

Gligoric, Milos and Majumdar, Rupak
(2013) Model Checking Database Applications.
In: Proc. of the 20th International Symposium on Static Analysis (SAS 2013).
Conference: SAS - Static Analysis Symposium

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item