The following pages link to (Q3740278):
Displaying 6 items.
- Proof system for weakest prespecification (Q1104780) (← links)
- (Q3809316) (← links)
- On derived dependencies and connected databases (Q3983123) (← links)
- Dynamic logic with program specifications and its relational proof system (Q4291023) (← links)
- Dependencies for an extended object-oriented database model (Q4847153) (← links)
- Bibliography of Ewa Orłowska (Q6599610) (← links)