Difference between revisions of "Spot 0.7 and 0.7.1 released (2011-02-07)"
From LRDE
(Created page with "{{News |title=[http://spot.lrde.epita.fr/ Spot] 0.7 and 0.7.1 released |subtitle=Spot is a model-checking library developed collaboratively |date=2011-02-07 }}") |
(No difference)
|
Latest revision as of 15:10, 16 September 2013
Title | Spot 0.7 and 0.7.1 released |
---|---|
Sub-Title | Spot is a model-checking library developed collaboratively |
Date | 2011-02-07 |