Incremental reachability checking of kernelc programs using matching logic

RIZZI, ALESSANDRO MARIA
2014-01-01

2014
36th International Conference on Software Engineering, ICSE Companion 2014 - Proceedings
9781450327688
9781450327688
Incremental verification; Matching logic; Operator-precedence grammars; Reachability checking; Software
File in questo prodotto:
File Dimensione Formato  
p724-rizzi.pdf

Accesso riservato

: Publisher’s version
Dimensione 192.53 kB
Formato Adobe PDF
192.53 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/986640
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 1
social impact