Oana M. ANDREI
Home
Research
Publications
Talks
Teaching
Links
Links:
webmail GU
SoCS announcements page
Moodle SoCS
T4
model checkers' meeting
Hill walking in Scotland
Last modified: Mon 28 Nov 2011 14:28:47 GMT