Hello,
my name is Thomas Marchwinski and I am a German student of Computer
Science at the Albert-Ludwigs-University in Freiburg. I have one
question:
I want to make a formal specification of subversion in the formal
language Z.
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.
Thanks,
Thomas Marchwinski
Received on Sat Oct 21 14:36:06 2006