PRISM model checker - Google Summer of Code
Contact owners and managers
prismmodelchecker-gsoc@googlegroups.com
Description
A group to discuss projects and ideas for PRISM's participation in the Google Summer of Code scheme.
Language
English (United Kingdom)
Privacy
Anyone on the web
can see group
Group members
can view members
Group members
can view conversations
Group members
can post
Anyone on the web
can join group