Sorin Lerner profile picture

Sorin Lerner

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
High-Level Verification Methods and Tools for Verification of System-Level Designs
High-Level Verification Methods and Tools for Verification of System-Level Designs