Verification of Sequential and Concurrent Programs

Livres

Livres similaires