unglue.it Browse Free Books

X

#1

Select

Explore

View As:

Sort by:
popular
newest
title

Computer Aided Verification

Alexandra Silva and K. Rustan M. Leino, editors

More Info

AVAILABLE!

Login to Fave

Read it Now

Computer Aided Verification

Alexandra Silva and K. Rustan M. Leino, editors

Login to Fave

No Faves

Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Flemming Nielson and David Sands, editors

More Info

AVAILABLE!

Login to Fave

Read it Now

Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Flemming Nielson and David Sands, editors

Login to Fave

Faved by 1

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Hana Chockler and Georg Weissenbacher, editors

More Info

AVAILABLE!

Login to Fave

Read it Now

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Hana Chockler and Georg Weissenbacher, editors

Login to Fave

Faved by 1

1