Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/sfm/CasoBGU12
AU - Caso, Guido de
AU - Braberman, Víctor A.
AU - Garbervetsky, Diego
AU - Uchitel, Sebastián
TI - Abstractions for Validation in Action.
BT - Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
SP - 192
EP - 218
PY - 2012//
DO - 10.1007/978-3-642-30982-3_6
UR - https://doi.org/10.1007/978-3-642-30982-3_6
ER -
