Tiziana Margaria
- Second-Order Value Numbering
2015/11/03 by Tiziana Margaria, Margaria, Tiziana, Bernhard Steffen +3 · 2 citations
Computer Science · Engineering · #Formal Methods in Verification #Radiation Effects in Electronics #VLSI and Analog Circuit Testing