Spot 0.9 released (2012-05-09)

From LRDE

Revision as of 14:10, 16 September 2013 by Bot (talk | contribs) (Created page with "{{News |title=[http://spot.lrde.epita.fr/ Spot] 0.9 released |subtitle=Spot is a model-checking library developed collaboratively |date=2012-05-09 }}")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Title Spot 0.9 released
Sub-Title Spot is a model-checking library developed collaboratively
Date 2012-05-09