Verification Manager: Automating the Verification Process (2009)

Cached

Download Links

by Radek Pelánek , Václav Rosecký
Citations:2 - 2 self