Conference , Workshops Proceedings

Properties and Scopes ...

Haydar, M., Boroday, S., Petrenko, A. and Sahraoui, H. "Properties and Scopes in Web Model Checking" in Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005). California, Long Beach, USA
[Full text] [Abstract]

  • 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…