Old Web
English
Sign In
Acemap
>
Paper
>
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification.
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification.
2019
Emanuele De Angelis
Fabio Fioravanti
Alberto Pettorossi
Maurizio Proietti
Keywords:
Programming language
Sorting
Horn clause
Computer science
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
1
Citations
NaN
KQI
[]