Groups
Sign in
Groups
VeriFast
Conversations
About
Send feedback
Help
VeriFast
Contact owners and managers
verifast@googlegroups.com
Description
Talk about VeriFast http://people.cs.kuleuven.be/~bart.jacobs/verifast/.
Language
English
Privacy
Anyone on the web
can see group
Group members
can view members
Anyone on the web
can view conversations
Anyone on the web
can post
Anyone on the web
can join group