Verifying integrity constraints on web-based systems using model checking
Atti del XXXIX Congresso dell'Associazione Italiana per il Calcolo Automatico - SEPTEMBER-2001Authors
Di Sciascio Eugenio,
Donini Francesco M.,
Mongiello Marina, Piscitelli Giacomo
DOI
https://doi.org/10.1007/978-3-319-25252-0_22BibTex 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"
}