Alessandro Cimatti, Stefano Tonetta. Contracts-refinement proof system for component-based embedded systems. Science of Computer Programming, 97:333-348, 2015. [doi]
@article{CimattiT15, title = {Contracts-refinement proof system for component-based embedded systems}, author = {Alessandro Cimatti and Stefano Tonetta}, year = {2015}, doi = {10.1016/j.scico.2014.06.011}, url = {http://dx.doi.org/10.1016/j.scico.2014.06.011}, researchr = {https://researchr.org/publication/CimattiT15}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {97}, pages = {333-348}, }