CSSL: a logic for specifying conditional scenarios

Shoham Ben David, Marsha Chechik, Arie Gurfinkel, Sebastian Uchitel
19th ACM SIGSOFT Symposium on the Foundations of Software Engineering, page 37--47 - 2011
Download the publication : cssl - a logic for specifying conditional scenarios.pdf [662Ko]  

BibTex references

@InProceedings\{BCGU11,
  author       = "Ben David, Shoham and Chechik, Marsha and Gurfinkel,  Arie and Uchitel, Sebastian",
  title        = "CSSL: a logic for specifying conditional scenarios",
  booktitle    = "19th ACM SIGSOFT Symposium on the Foundations of Software Engineering",
  pages        = "37--47",
  year         = "2011",
  editor       = "Tibor Gyim\'othy, Andreas Zeller ",
  publisher    = "ACM",
  organization = "ACM",
  note         = "Szeged, Hungary, September 5-9, 2011",
  url          = "http://publicaciones.dc.uba.ar/Publications/2011/BCGU11"
}

Other publications in the database

» Shoham Ben David
» Marsha Chechik
» Sebastian Uchitel