From: Bernhard Brodowsky <brodowsb@...>
Date: 2010-04-15T23:43:27+09:00
Subject: Formal methods

Hi, I want to try to prove some parts of my programs formally. Does
anyone have any experience with the combination of formal methods and
Ruby?
-- 
Posted via http://www.ruby-forum.com/.