Readings on Verification and Synthesis

Professors:Giuseppe De Giacomo
Credits:2.5
Range:B
Note:

Full description

The description will be here as soon as possible