Formal Methods for Computer/Communications Protocols and Software

Bok av Hazem El-Gendy