ELVIS>
Main>People>PetraMalik (08 Oct 2008, Main.petra)
Main>People>PetraMalik (08 Oct 2008, Main.petra)
http://www.mcs.vuw.ac.nz/Main/PetraMalik
Research Interests Formal Software Development, Specification Languages
Projects - CZT (see http://czt.sourceforge.net)
- Alloy
- Using Alloy to verify Z specifications
Home
News
JoiningElvis
People
Research
Publications
Courses
Events
ElvisMeetings
ReadingGroups
Resources
Admin
Subversion
Create New Topic
Index
Search
Changes
Notifications
RSS Feed
Statistics |
|
© 2009 Victoria University of Wellington, New Zealand, unless otherwise stated