Spelling suggestions: "subject:"" model checker spin" "" "subject:"" godel checker spin" ""
1 |
A formal framework for run-time verification of Web applications : an approach supported by ccope-extended linear temporal logicHaydar, May January 2007 (has links)
Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.
|
Page generated in 0.1141 seconds