Telecharger Cours

UNIVERSITY Of GLASGOW - CORE

Model checking is an increasingly popular technique for the formal verification of concurrent systems. The application of model checking is ...



Download