Contracts for System Design

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Thomas A. Henzinger, Kim G. Larsen

Journal title: Foundations and Trends® in Electronic Design Automation

Journal number: 12/2-3

Journal publisher: Now Publishers Inc.

Published year: 2018

Published pages: 124-400

DOI identifier: 10.1561/1000000053

ISSN: 1551-3939