A formal framework for run-time verification of Web applications : an approach supported by ccope-extended linear temporal logic
Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2017
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1866/17888 |