Bill Roscoe

ספרים שבהם Bill Roscoe מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Formal Methods : Foundations and ApplicationsMárcio Cornélio

Formal Methods : Foundations and Applications

Márcio Cornélio · 2016

The modelling and analysis of security protocolsPeter Ryan PhD

The modelling and analysis of security protocols

Peter Ryan PhD · 2001

Formal MethodsKlaus Havelund

Formal Methods

Klaus Havelund · 2018