Description
User Reviews for RODIN FOR MAC 1
-
for RODIN FOR MAC
RODIN FOR MAC is a powerful tool for developing dependable software systems. Its event-B formal method and mathematical proof support are impressive.