Infoscience

Thesis

A pragmatic formal approach to protocol specification and implementation

Fulltext

Related material