The following pages link to Mara Alagić (Q1391743):
Displayed 6 items.
- Order-sorted model theory for temporal executable specifications (Q1391744) (← links)
- (Q3469267) (← links)
- Innovations in mathematics education via the arts BIRS Workshop 07w5062 22–26 January 2007 Banff, Alberta, Canada (Q3508133) (← links)
- (Q3984174) (← links)
- (Q3988157) (← links)
- (Q4045307) (← links)