(2025). Completeness and Consistency of Tabular Requirements: an SMT-Based Verification Approach [journal article - articolo]. In IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. Retrieved from https://hdl.handle.net/10446/293229

Completeness and Consistency of Tabular Requirements: an SMT-Based Verification Approach

Menghi, Claudio;
2025-01-01
articolo
2025
Menghi, Claudio; Balai, Eugene; Valovcin, Darren; Sticksel, Christoph; Rajhans, Akshay
(2025). Completeness and Consistency of Tabular Requirements: an SMT-Based Verification Approach [journal article - articolo]. In IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. Retrieved from https://hdl.handle.net/10446/293229
File allegato/i alla scheda:
Non ci sono file allegati a questa scheda.
Pubblicazioni consigliate

Aisberg ©2008 Servizi bibliotecari, Università degli studi di Bergamo | Terms of use/Condizioni di utilizzo

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10446/293229
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact