Login / Signup

From EU Projects to a Family of Model Checkers - From Kandinsky to KandISTI.

Maurice H. ter BeekStefania GnesiFranco Mazzanti
Published in: Software, Services, and Systems (2015)
Keyphrases