[ACM Press the 35th ACM SIGMOD-SIGACT-SIGAI Symposium - San Francisco, California, USA (2016.06.26-2016.07.01)] Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - PODS '16 - Recency-Bounded Verification of Dynamic Database-Driven Systems
Abdulla, Parosh Aziz, Aiswarya, C., Atig, Mohamed Faouzi, Montali, Marco, Rezine, OthmaneYear:
2016
Language:
english
DOI:
10.1145/2902251.2902300
File:
PDF, 943 KB
english, 2016