Cite
MLA Citation
Alessandro Pinto and Alberto L. Sangiovanni Vincentelli. “CSL4P: A Contract Specification Language for Platforms.” Systems engineering, vol. 20, no. 3, 2017, pp. 220–234. http://access.bl.uk/ark:/81055/vdc_100047836492.0x000036