Search results for: Beata Sarna-Starosta
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Regular Papers > 147-162
Lecture Notes in Computer Science > Practical Aspects of Declarative Languages > Databases and Large Data Sets > 168-182
Lecture Notes in Computer Science > Formal Methods and Software Engineering > System Modeling and Checking > 579-598