Trustworthy Global Computing
Trustworthy Global Computing
Cédric Fournet
,
Gilles Barthe
Details
OL Work ID
OL27335027W
Find this book
Open Library