SMT-Based Checking of SOLOIST over Sparse TracesFundamental Approaches to Software Engineering

BERSANI, MARCELLO MARIA;GHEZZI, CARLO;KRSTIC, SRDAN;SAN PIETRO, PIERLUIGI
2014-01-01

2014
17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014
9783642548031
9783642548048
File in questo prodotto:
File Dimensione Formato  
fase2014.pdf

Accesso riservato

: Post-Print (DRAFT o Author’s Accepted Manuscript-AAM)
Dimensione 385.35 kB
Formato Adobe PDF
385.35 kB Adobe PDF   Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11311/960202
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 11
  • ???jsp.display-item.citation.isi??? ND
social impact