Quantitative properties of software systems: Specification, verification, and synthesis
KRSTIC, SRDAN
2014-01-01
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
icse2014-ds.pdf
accesso aperto
:
Pre-Print (o Pre-Refereeing)
Dimensione
166.2 kB
Formato
Adobe PDF
|
166.2 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.