FM 2005: Formal Methods
From MaRDI portal
Publication:5716892
DOI10.1007/b27882zbMath1120.68399MaRDI QIDQ5716892
Paulo F. Silva, Tiago L. Alves, Joost Visser, José Nuno Oliveira
Publication date: 10 January 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b27882
68P15: Database theory
68Q65: Abstract data types; algebraic specification
68Q42: Grammars and rewriting systems
Related Items
Constraint-aware Schema Transformation, Extended Static Checking by Calculation Using the Pointfree Transform