Diaporama

Verification of Webbed Applications ...

Haydar, M., Barburas, M. Verification of Webbed Applications Using Model CheckingX. Montréal, CRIM. 21 diapositives