Spot 0.7 and 0.7.1 released (2011-02-07)

From LRDE

Revision as of 15:10, 16 September 2013 by Bot (talk | contribs) (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 }}")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Title Spot 0.7 and 0.7.1 released
Sub-Title Spot is a model-checking library developed collaboratively
Date 2011-02-07
Retrieved from "https://www.lrde.epita.fr/index.php?title=Spot_0.7_and_0.7.1_released_(2011-02-07)&oldid=3769"