Releases med G Berry

Cover for G Berry · Computer Aided Verification: 13th International Conference, Cav 2001, Paris, France, July 18-22, 2001. Proceedings (13th International Conference, Cav 2001, Paris, France, July 18-22, 2001.proceedings) - Lecture Notes in Computer Science (Pocketbok) (2001)
Pocketbok
Computer Aided Verification: 13t...
G Berry