DMCA

Safety Properties (full version) (2011)

Cached

Download Links

by Étienne André , Romain Soulat , École Normale , Supérieure Cachan , Étienne André , Romain Soulat