DMCA

Using Symbolic Execution for Verifying Safety-Critical Systems (2001)

Cached

Download Links

by Alberto Coen-Porisini , Giovanni Denaro , Carlo Ghezzi , Mauro Pezze
Citations:53 - 0 self