Spot 0.6 is released (2010-04-16)
From LRDE
Title | Spot 0.6 is released |
---|---|
Sub-Title | Spot is a model-checking library developed collaboratively |
Date | 2010-04-16 |
Title | Spot 0.6 is released |
---|---|
Sub-Title | Spot is a model-checking library developed collaboratively |
Date | 2010-04-16 |