Bartocci, Ezio: Preface of the special issue on Model Checking of Software : Selected papers of the 20th International SPIN Symposium on Model Checking of Software. . In: International Journal on Software Tools for Technology Transfer. Jg.18 H. 4, S.355357
Inhalt