Computer aided verification : 13th international conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings


CAV 2001
Bok Engelsk 2001

Detaljer

Bibliotek som har denne