Fernando Brizzolari, Igor Melatti, Enrico Tronci, Giuseppe Della Penna. Disk Based Software Verification via Bounded Model Checking. In 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 5-7 December 2007, Nagoya, Japan. pages 358-365, IEEE Computer Society, 2007. [doi]
@inproceedings{BrizzolariMTP07, title = {Disk Based Software Verification via Bounded Model Checking}, author = {Fernando Brizzolari and Igor Melatti and Enrico Tronci and Giuseppe Della Penna}, year = {2007}, doi = {10.1109/APSEC.2007.43}, url = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2007.43}, tags = {rule-based, model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/BrizzolariMTP07}, cites = {0}, citedby = {0}, pages = {358-365}, booktitle = {14th Asia-Pacific Software Engineering Conference (APSEC 2007), 5-7 December 2007, Nagoya, Japan}, publisher = {IEEE Computer Society}, }