Subversion-Specification in Z
Received on Sat Oct 21 14:36:06 2006
my name is Thomas Marchwinski and I am a German student of Computer
Science at the Albert-Ludwigs-University in Freiburg. I have one
I want to make a formal specification of subversion in the formal
Now I want to know, if there is something like this already.
If you have heard something about a similar project, then tell me,
please. If there isn't such a project, then tell me also.
This is an archived mail posted to the Subversion Dev