Thesis and Dissertation

Formal Checking of Web ...

Barburas, D. Formal Checking of Web Based Applications Montréal. Université de Montréal, 2005. 75 p. Mémoire de maîtrise en science informatique.

  • LLNL Computation RT @Livermore_Comp: 7th Annual ESGF Conference participants, including several familiar faces from @Livermore_Comp Congras on their recent…
  • LLNL Computation RT @Livermore_Comp: The annual #ESGF conference highlights important work from LLNL’s international collaborators, like the Computer Resear…