|
|
Automated technology for verification and analysis : , 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. xix, 404 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Technology for Verification and Analysis
by Bouajjani, Ahmed.
Publication:
. VIII, 404p. 112 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|