Risultati della ricerca - "Computer logic Congresses."
Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
-
1
Formal logical methods for system security and correctness
Pubblicazione 2008Soggetti: “...Computer logic Congresses....”
An electronic book accessible through the World Wide Web; click to view
Elettronico Atti del Convegno eBook