OSDN -- Open-Source-Software-Entwicklung und Downloads
Übersetzungsstatus von Deutsch translation status for de

Download von README.md (README.md ( externer Link: SourceForge.net): 1,851 Bytes) wird in Kürze beginnen. Wenn nicht, klicke auf README.md ( externer Link: SourceForge.net).

Datei-Informationen

Dateigröße
1,851 Bytes
MD5
db0ad3a65bf4196ee0f87ccc6187dea7

Wohin willst du als nächstes gehen?

Springe zum OSDN Projektseite Anderen Releases anzeigen

Projektbeschreibung

Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.