Nie jesteś zalogowany | Zaloguj się

PL /
EN

Konferencja: {Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems

Liczba publikacji: 1

2013

Mikołaj Bojańczyk , Luc Segoufin, Szymon Toruńczyk , Verification of database-driven systems via amalgamation, {Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013. Zobacz w PBN