Book

Automated Technology For Verification And Analysis

Third International Symposium, Atva 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings «

Score:

(3/0)

Reviews:

0

Times tipped:

0

Times read:

0

Author(s):

D.A. Peled

Category:

ISBN

9783540292098

Information

Reviews

Wall

Welcome to Boeklezers.nl

Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».

There are no messages on Automated Technology For Verification And Analysis wall yet.