IRIS

Emanuele De, A., Fabio, F., Pettorossi, A., Maurizio, P. (2018). Predicate Pairing for program verification. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 18(2), 126-166 [10.1017/S1471068417000497].

Predicate Pairing for program verification

Pettorossi Alberto
;
2018-01-01
2018
Pubblicato
Rilevanza internazionale
Articolo
Esperti anonimi
Settore ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
English
Emanuele De, A., Fabio, F., Pettorossi, A., Maurizio, P. (2018). Predicate Pairing for program verification. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 18(2), 126-166 [10.1017/S1471068417000497].
Emanuele De, A; Fabio, F; Pettorossi, A; Maurizio, P
Articolo su rivista
01 - Articolo su rivista
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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/2108/200312
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 9
  • ???jsp.display-item.citation.isi??? 8
social impact