%0 Conference Paper %1 conf/date/BaleaniFMSFSW05 %A Baleani, Massimo %A Ferrari, Alberto %A Mangeruca, Leonardo %A Sangiovanni-Vincentelli, Alberto L. %A Freund, Ulrich %A Schlenker, Erhard %A Wolff, Hans-Jörg %B DATE %D 2005 %I IEEE Computer Society %K dblp %P 1044-1049 %T Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development. %U http://dblp.uni-trier.de/db/conf/date/date2005.html#BaleaniFMSFSW05 %@ 0-7695-2288-2

@inproceedings{conf/date/BaleaniFMSFSW05, added-at = {2023-03-24T00:00:00.000+0100}, author = {Baleani, Massimo and Ferrari, Alberto and Mangeruca, Leonardo and Sangiovanni-Vincentelli, Alberto L. and Freund, Ulrich and Schlenker, Erhard and Wolff, Hans-Jörg}, biburl = {https://www.bibsonomy.org/bibtex/2a7e8b3d39734787505e759e9dbc29eda/dblp}, booktitle = {DATE}, crossref = {conf/date/2005}, ee = {https://www.wikidata.org/entity/Q57380628}, interhash = {9f22d93560d4ae74041edd79592f21e0}, intrahash = {a7e8b3d39734787505e759e9dbc29eda}, isbn = {0-7695-2288-2}, keywords = {dblp}, pages = {1044-1049}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:52:06.000+0200}, title = {Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development.}, url = {http://dblp.uni-trier.de/db/conf/date/date2005.html#BaleaniFMSFSW05}, year = 2005 }