Avellone, A., Benini, M., Moscato, U. (2001). How to avoid the formal verification of a theorem prover. LOGIC JOURNAL OF THE IGPL, 9(1), 7-31.

How to avoid the formal verification of a theorem prover

AVELLONE, ALESSANDRO;MOSCATO, UGO EMANUELE
2001

Articolo in rivista - Articolo scientifico
ATP, formal verification, program synthesis
English
2001
9
1
7
31
none
Avellone, A., Benini, M., Moscato, U. (2001). How to avoid the formal verification of a theorem prover. LOGIC JOURNAL OF THE IGPL, 9(1), 7-31.
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/10281/315
Citazioni
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
Social impact