Contracts for System Design.

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

Published in: Found. Trends Electron. Des. Autom. (2018)

Keyphrases