Scalable Techniques for Formal Verification
eBook kaufen Aktuelle Ansicht