Team Travel The 57 players on four soccer teams traveled to a soccer tournament in Plainville. Each car carrying the members of the same team had the same.
Formal techniques for getting software right: some old ideas and some new tools Applied Formal Methods Research Group 2012-11-02 David Lightfoot: [email protected].