Verifying integrity constraints on web-based systems using model checking

Verifying integrity constraints on web-based systems using model checking

Atti del XXXIX Congresso dell'Associazione Italiana per il Calcolo Automatico - SEPTEMBER-2001

Authors

Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina, Piscitelli Giacomo

DOI

https://doi.org/10.1007/978-3-319-25252-0_22

BibTex references

@InProceedings{DDMP01,
  author       = "Di Sciascio, Eugenio and Donini, Francesco M. and Mongiello, Marina and Piscitelli, Giacomo",
  title        = "Verifying integrity constraints on web-based systems using model checking",
  booktitle    = "Atti del XXXIX Congresso dell'Associazione Italiana per il Calcolo Automatico",
  month        = "September",
  year         = "2001",
  url          = "http://sisinflab.poliba.it/Publications/2001/DDMP01"

}