Spot 0.9 released (2012-05-09)

From LRDE

Title Spot 0.9 released
Sub-Title Spot is a model-checking library developed collaboratively
Date 2012-05-09
Retrieved from "https://www.lrde.epita.fr/index.php?title=Spot_0.9_released_(2012-05-09)&oldid=3746"