Spot 0.5 is released (2010-02-01)
From LRDE
| Title | Spot 0.5 is released |
|---|---|
| Sub-Title | Spot is a model-checking library developed collaboratively |
| Date | 2010-02-01 |
| Title | Spot 0.5 is released |
|---|---|
| Sub-Title | Spot is a model-checking library developed collaboratively |
| Date | 2010-02-01 |