Specification and verification of component-based systems 2007
Informazioni aggiuntive
Autori
Aldrich J.,
Leavens G. T.,
Barnett M.,
Sharygina N.,
Giannakopoulou D.
Tipo
Contributo in atti di convegno
Anno
2007
Lingua
Inglese
Titolo atti di convegno
ESEC/SIGSOFT FSE (Companion)
Pagine (o numero dell’articolo)
609-610
