MINDS AND MACHINES

Rivista

Codice:

E110720

ISSN:

0924-6495

Dati Generali

Pubblicazioni (2)

Abstraction and Idealization in the Formal Verification of Software Systems

Articolo

Scientific Theories of Computational Systems in Model Checking

Articolo

No Results Found