Mémoire de maîtrise et thèse de doctorat

A Formal Framework for ...

Haydar, M. A Formal Framework for Run-Time Verification of Web Applications : An Approach Supported by Scope-Extended Linear Temporal Logic Montréal. Université de Montréal, 2007. 187 p. Thèse de doctorat en informatique.