High-Level verification methods and tools for verification of system-level designs von Kundu, Sudipta, Lerner, Sorin, Gupta, Rajesh K.

Proceedings of the 9th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering von Lerner, Sorin

DE-19
URL des Erstveröffentlichers