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

text/x-vcard attachment: Card for Thomas Marchwinski

Received on Sat Oct 21 14:36:06 2006

This message: [ Message body ]
Next message: Karl Fogel: "Re: Subversion-Specification in Z"
Previous message: Karl Fogel: "Re: Design Questions"
Next in thread: Karl Fogel: "Re: Subversion-Specification in Z"
Maybe reply: Karl Fogel: "Re: Subversion-Specification in Z"

Contemporary messages sorted: [ By Date ] [ By Thread ] [ By Subject ] [ By Author ] [ By messages with attachments ]