[svn.haxx.se] · SVN Dev · SVN Users · SVN Org · TSVN Dev · TSVN Users · Subclipse Dev · Subclipse Users · this month's index

Subversion-Specification in Z

From: Thomas Marchwinski <marchwin_at_uni-freiburg.de>
Date: 2000-07-28 18:59:34 CEST

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

This is an archived mail posted to the Subversion Dev mailing list.