1.
High-Level Verification: Methods and Tools for Verification of System-Level Designs
by Kundu, Sudipta, Lerner, Sor...
ISBN: 9781441993588
List Price: $129.00
2.
High-Level Verification : Methods and Tools for Verification of System-Level Designs
by Kundu, Sudipta, Lerner, Sor...
ISBN: 9781493901012
List Price: $149.00
3.
Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools a...
by Lerner, Sorin
ISBN: 9781450300827
List Price: $99.00