Resenhas - An Introduction to Practical Formal Methods Using Temporal Logic

Veja as resenhas sobre este livro